|  | yosys -import | 
|  | if { [info procs get_pins] == {} } { plugin -i design_introspection } | 
|  | yosys -import  ;# ingest plugin commands | 
|  |  | 
|  | read_verilog $::env(DESIGN_TOP).v | 
|  | # Some of F4PGA expects eblifs with only one module. | 
|  | synth_xilinx -flatten -abc9 -nosrl -noclkbuf -nodsp | 
|  |  | 
|  |  | 
|  | set fp [open [test_output_path "get_pins.txt"] "w"] | 
|  |  | 
|  | puts "\n*inter* pins quiet" | 
|  | puts $fp "\n*inter* pins quiet" | 
|  | puts $fp [get_pins -quiet OBUF_6/I] | 
|  |  | 
|  | puts "\n*inter* pins" | 
|  | puts $fp "\n*inter* pins" | 
|  | puts $fp [get_pins OBUF_6/I] | 
|  |  | 
|  | puts "\n*inter* pins with invalid filter expression" | 
|  | puts $fp "\n*inter* pins with invalid filter expression" | 
|  | puts $fp [get_pins -filter {mr_ff != true} *inter*/I ] | 
|  |  | 
|  | puts "\nFiltered pins" | 
|  | puts $fp "\nFiltered pins" | 
|  | puts $fp [get_pins -filter {dont_touch == true || async_reg == true && mr_ff == true} *OBUF*/I ] | 
|  |  | 
|  | close $fp |