[core] fixed some bugs
This commit is contained in:
parent
bcb82d43af
commit
eaadff3448
|
@ -657,7 +657,7 @@ int print_verilog_preconfig_top_module(
|
||||||
fp,
|
fp,
|
||||||
std::string(circuit_name) +
|
std::string(circuit_name) +
|
||||||
std::string(FORMAL_VERIFICATION_TOP_MODULE_POSTFIX),
|
std::string(FORMAL_VERIFICATION_TOP_MODULE_POSTFIX),
|
||||||
VERILOG_DEFAULT_NET_TYPE_WIRE);
|
options.default_net_type());
|
||||||
|
|
||||||
/* Close the file stream */
|
/* Close the file stream */
|
||||||
fp.close();
|
fp.close();
|
||||||
|
|
|
@ -2678,7 +2678,7 @@ int print_verilog_full_testbench(
|
||||||
fp,
|
fp,
|
||||||
std::string(circuit_name) +
|
std::string(circuit_name) +
|
||||||
std::string(AUTOCHECK_TOP_TESTBENCH_VERILOG_MODULE_POSTFIX),
|
std::string(AUTOCHECK_TOP_TESTBENCH_VERILOG_MODULE_POSTFIX),
|
||||||
VERILOG_DEFAULT_NET_TYPE_WIRE);
|
options.default_net_type());
|
||||||
|
|
||||||
/* Close the file stream */
|
/* Close the file stream */
|
||||||
fp.close();
|
fp.close();
|
||||||
|
|
Loading…
Reference in New Issue