mirror of
https://github.com/YosysHQ/yosys
synced 2025-11-04 05:19:11 +00:00
81 lines
1.2 KiB
Text
81 lines
1.2 KiB
Text
read_verilog -specify <<EOT
|
|
module buffer(input i, output o);
|
|
specify
|
|
(i => o) = 10;
|
|
endspecify
|
|
endmodule
|
|
|
|
module top(input i);
|
|
wire w;
|
|
buffer b(.i(i), .o(w));
|
|
endmodule
|
|
EOT
|
|
|
|
logger -expect warning "Critical-path does not terminate in a recognised endpoint\." 1
|
|
sta
|
|
|
|
|
|
design -reset
|
|
read_verilog -specify <<EOT
|
|
module top(input i, output o, p);
|
|
assign o = i;
|
|
endmodule
|
|
EOT
|
|
|
|
logger -expect log "No timing paths found\." 1
|
|
sta
|
|
|
|
|
|
design -reset
|
|
read_verilog -specify <<EOT
|
|
module buffer(input i, output o);
|
|
specify
|
|
(i => o) = 10;
|
|
endspecify
|
|
endmodule
|
|
|
|
module top(input i, output o, p);
|
|
buffer b(.i(i), .o(o));
|
|
endmodule
|
|
EOT
|
|
|
|
sta
|
|
|
|
|
|
design -reset
|
|
read_verilog -specify <<EOT
|
|
module buffer(input i, output o);
|
|
specify
|
|
(i => o) = 10;
|
|
endspecify
|
|
endmodule
|
|
|
|
module top(input i, output o, p);
|
|
buffer b(.i(i), .o(o));
|
|
const0 c(.o(p));
|
|
endmodule
|
|
EOT
|
|
|
|
logger -expect warning "Cell type 'const0' not recognised! Ignoring\." 1
|
|
sta
|
|
|
|
|
|
design -reset
|
|
read_verilog -specify <<EOT
|
|
module buffer(input i, output o);
|
|
specify
|
|
(i => o) = 10;
|
|
endspecify
|
|
endmodule
|
|
module const0(output o);
|
|
endmodule
|
|
|
|
module top(input i, output o, p);
|
|
buffer b(.i(i), .o(o));
|
|
const0 c(.o(p));
|
|
endmodule
|
|
EOT
|
|
|
|
sta
|
|
|
|
logger -expect-no-warnings
|