Commit ab3d2145 by Miodrag Milanovic

Fix tests due to text change or QoR

parent 44821806
......@@ -12,7 +12,6 @@ opt -fast -mux_undef -undriven -fine
memory_map
opt -undriven -fine
techmap -map +/techmap.v -map +/anlogic/arith_map.v
dffsr2dff
techmap -D NO_LUT -map +/anlogic/cells_map.v
dffinit -strinit SET RESET -ff AL_MAP_SEQ q REGSET -noreinit
opt_expr -mux_undef
......
......@@ -11,7 +11,7 @@ opt -fast -mux_undef -undriven -fine
techmap -map +/techmap.v -map +/ecp5/arith_map.v
abc -dff
opt -fast -mux_undef -undriven -fine
dff2dffe -direct-match $_DFF_* -direct-match $__DFFS_*
dff2dffe -direct-match $_DFF_* -direct-match $_SDFF_*
techmap -D NO_LUT -map +/ecp5/cells_map.v
opt_expr -mux_undef
simplemap
......
ERROR: Can't export composite or non-word-wide signal { \\y \\A }.
ERROR: Can't export composite or non-word-wide signal
......@@ -5,4 +5,4 @@ abc -g cmos
select -assert-count 1 t:$_NAND_
select -assert-count 1 t:$_NOT_
select -assert-count 1 t:$_OAI3_
select -assert-count 2 t:$_XNOR_
select -assert-count 1 t:$_XNOR_
......@@ -2,4 +2,4 @@ read_verilog ../top_mux.v
proc
synth -top top
abc
select -assert-count 109 t:$_MUX_
select -assert-count 139 t:$_MUX_
read_verilog ../top_mux.v
synth -top top
abc -mux4
select -assert-count 60 t:$_MUX4_
select -assert-count 75 t:$_MUX4_
......@@ -2,5 +2,5 @@ read_verilog ../top_mux.v
synth -top top
tee -o result.out abc -g cmos3
abc -g cmos3
select -assert-count 121 t:$_AOI3_
select -assert-count 163 t:$_OAI3_
select -assert-count 144 t:$_AOI3_
select -assert-count 169 t:$_OAI3_
......@@ -3,7 +3,7 @@ synth -top top
tee -o result.out abc -g cmos4
abc -g cmos4
select -assert-count 90 t:$_AOI3_
select -assert-count 17 t:$_AOI4_
select -assert-count 132 t:$_OAI3_
select -assert-count 37 t:$_OAI4_
select -assert-count 111 t:$_AOI3_
select -assert-count 28 t:$_AOI4_
select -assert-count 111 t:$_OAI3_
select -assert-count 24 t:$_OAI4_
ERROR: Option -set can not be combined with -list, -write, -count, -add, -del, -assert-none, -assert-any, -assert-count, -assert-max, or -assert-min.
ERROR: Option -set can not be combined with
ERROR: Option -set can not be combined with -list, -write, -count, -add, -del, -assert-none, -assert-any, -assert-count, -assert-max, or -assert-min.
ERROR: Option -set can not be combined with
ERROR: Option -set can not be combined with -list, -write, -count, -add, -del, -assert-none, -assert-any, -assert-count, -assert-max, or -assert-min.
ERROR: Option -set can not be combined with
ERROR: Option -set can not be combined with -list, -write, -count, -add, -del, -assert-none, -assert-any, -assert-count, -assert-max, or -assert-min.
ERROR: Option -set can not be combined with
ERROR: Option -set can not be combined with -list, -write, -count, -add, -del, -assert-none, -assert-any, -assert-count, -assert-max, or -assert-min.
ERROR: Option -set can not be combined with
ERROR: One of the options -zero, -one, -anyseq, -anyconst, or -random <seed> must be specified.
ERROR: One of the options
logger -expect error "no AST_WIRE node" 1
logger -expect error "task/function argument direction missing" 1
read_verilog top.v
read_verilog ../top.v
proc
dffsr2dff
techmap
dffsr2dff
design -reset
read_verilog ../top.v
synth -top top
dffsr2dff
flatten
opt
opt_rmdff
dffsr2dff
module dffsr
( input d, clk, pre, clr, output reg q );
always @( posedge clk, posedge pre, negedge clr )
if ( pre )
q <= 1'b1;
else if ( clr )
q <= 1'b0;
else
q <= d;
endmodule
module top (
input clk,
input a,
output b
);
dffsr u_dffsr (
.clk (clk ),
.clr (1'b1),
.pre (1'b1),
.d (a ),
.q (b )
);
endmodule
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment