3 treff

symbolic circuit analysis
Symbolic model checking
by Kenneth L. McMillan ; [foreword by Edm...
Bok Engelsk 1993 · Vis mer
Symbolic analysis techniques : applications to analog design automation /
edited by Francisco V. Fernández ... [et...
Bok Engelsk 1998 · Vis mer
Leaf cell and hierarchical compaction techniques
by Cyrus Bamji and Ravi Varadarajan
Bok Engelsk 1997 · Vis mer