[問題] 如何知道Output Node

[scxz (安魂曲)]

不好意思 我想問的是

在bdd command的介面下
假如我cread bserv bbuild都打好了
那我要怎麼知道有那些node可以brep來看呢？

crep與brep好像都不行
每次測電路想要用手動的都覺得很累
因為要翻.cir檔來看

有什麼比較好的方法嗎？
(還是要增加一個cmd來report cirMgr裡給定type的bddnode?)

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.241.149
推 BLD:bdd> crepo  -t PO
推 scxz:多謝！