26 lines
623 B
Scheme
26 lines
623 B
Scheme
;; -*- scheme -*-
|
|
;; ^^^ this comment tells Emacs to use Scheme mode
|
|
|
|
(utest/tb
|
|
("simple_counter_permanent"
|
|
"Testbench for Simple Counter with permanent work dir")
|
|
|
|
;; get base dir and make work dir
|
|
(let* ((base (utest/base-path))
|
|
(work (format "~a/work" base)))
|
|
|
|
(when (not (file-exists? work))
|
|
(mkdir work))
|
|
|
|
;; parameterize work dir
|
|
(parameterize
|
|
((utest/work-path work)
|
|
(utest/force-dump #t))
|
|
|
|
;; testbench body
|
|
(utest/run-simulation-iverilog
|
|
;; sources
|
|
'("simple_counter.sv" "simple_counter_tb.sv")
|
|
;; top module name
|
|
"simple_counter_tb"))))
|