1 Hit in 1.2 sec

Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2015 [article]

Formal Methods In Computer Aided Design
All examples use symbolic simulation with BDDs, specifically using the rSTE symbolic simulator [23] and the underlying forte [25] tool.  ...  polynomial systems (circuits).  ...  Unfortunately the running time of these algorithms grows as a polynomial function of the number of states in the system.  ... 
doi:10.15781/t23x83p30 fatcat:7m76yewhwnbjfizkm4jnav5xeq