mirror of
https://github.com/YosysHQ/yosys
synced 2026-01-20 09:13:23 +00:00
1b592c7f8d
TCL doesn't support \d and \s escape sequences in regexes. Use [0-9] and [ \t] instead to match digits and whitespace.
64 lines
1.7 KiB
Tcl
64 lines
1.7 KiB
Tcl
yosys -import
|
|
|
|
proc read_stats { file } {
|
|
set fid [open $file]
|
|
set result [read $fid]
|
|
close $fid
|
|
set ports 0
|
|
set nets 0
|
|
foreach line [split $result "\n"] {
|
|
# Match upstream yosys stat format: " <count> <area> wires"
|
|
if [regexp {^[ \t]*([0-9]+)[ \t]+[0-9.]+[ \t]+wires[ \t]*$} $line -> n] {
|
|
set nets [expr $nets + $n]
|
|
}
|
|
if [regexp {^[ \t]*([0-9]+)[ \t]+[0-9.]+[ \t]+ports[ \t]*$} $line -> n] {
|
|
set ports [expr $ports + $n]
|
|
}
|
|
}
|
|
return [list $nets $ports]
|
|
}
|
|
|
|
proc assert_count { type actual expected } {
|
|
if {$actual != $expected} {
|
|
puts "Error, $type count: $actual vs $expected expected"
|
|
exit 1
|
|
}
|
|
}
|
|
|
|
read_verilog test_splitnets.v
|
|
hierarchy -auto-top
|
|
procs
|
|
design -save "pre"
|
|
|
|
splitnets -ports_only -top_only
|
|
write_verilog -noexpr "ports_only_in_top.v"
|
|
tee -o "ports_only_in_top.txt" stat
|
|
foreach {nets ports} [read_stats "ports_only_in_top.txt"] {}
|
|
assert_count "nets" $nets 26
|
|
assert_count "ports" $ports 16
|
|
|
|
design -load "pre"
|
|
splitnets -ports_only
|
|
write_verilog -noexpr "ports_only_in_all.v"
|
|
tee -o "ports_only_in_all.txt" stat
|
|
foreach {nets ports} [read_stats "ports_only_in_all.txt"] {}
|
|
assert_count "nets" $nets 30
|
|
assert_count "ports" $ports 20
|
|
|
|
design -load "pre"
|
|
splitnets -ports -top_only
|
|
write_verilog -noexpr "ports_nets_in_top.v"
|
|
tee -o "ports_nets_in_top.txt" stat
|
|
foreach {nets ports} [read_stats "ports_nets_in_top.txt"] {}
|
|
assert_count "nets" $nets 30
|
|
assert_count "ports" $ports 16
|
|
|
|
design -load "pre"
|
|
splitnets -ports
|
|
write_verilog -noexpr "ports_nets_in_all.v"
|
|
tee -o "ports_nets_in_all.txt" stat
|
|
foreach {nets ports} [read_stats "ports_nets_in_all.txt"] {}
|
|
assert_count "nets" $nets 40
|
|
assert_count "ports" $ports 20
|
|
|
|
exit 0
|