NanDigits中国

位置:文档/GOF API列表

compare

Logic equivalence check on output port and register input pins

Usage:

my $no_eq_num = compare(@nets, @options); @options: -help: Print this info $no_eq_num: Return back non-equivalent number

Examples:

#1. Check if output port 'state_out' is equivalent in IMP/REF netlists compare("state_out");

#2. Check if 'state_reg0/D' and 'state_reg1/D' are equivalent in IMP/REF netlists compare("state_reg0/D", "state_reg1/D");

更多文档:文档目录


微信公众号

LinkedIn

Nandigits.com 美国官网 | Nandigits.cn 中国官网
© 2021 Nandigits Design Automation. 版权所有。