billyc59
Junior Member level 1
hi,
I'm trying to put my synopsys design compiler generated netlists through formalpro for LEC, but the netlists infer an unknown module "atbl_3"
Firstly, what is it?
secondly, what is the corresponding library that it appeared in?
lastly, will this library be recognized by formalpro?
-thanks
I'm trying to put my synopsys design compiler generated netlists through formalpro for LEC, but the netlists infer an unknown module "atbl_3"
Firstly, what is it?
secondly, what is the corresponding library that it appeared in?
lastly, will this library be recognized by formalpro?
-thanks