Closed veripoolbot closed 4 years ago
Original Redmine Comment Author Name: Wilson Snyder (@wsnyder) Original Date: 2019-12-12T01:04:51Z
See "+libext" (same flag as your simulator) in verilog-library-flags in [[Verilog-mode-Help]].
Alternatively, put -- Verilog -- at the top of your files, which will start them in Verilog mode, but not help automatically finding them when looking for modules for AUTOINST.
Author Name: Lawrence Sunnyvale Original Redmine Message: 3191 from https://www.veripool.org
I can use verilog-auto in batch mode when input/output have .sv extension. How do I get verilog-auto to accept a different file extension, such as .svp? For instance, the following command line works with I use .sv instead of .svp. Is there an additional flag for .svp to be recognized as systemverilog?
% emacs --batch raid.auto.svp -f verilog-auto --eval '(write-file "raid.svp")'
Symbol?s function definition is void: verilog-auto