diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 11:12:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 11:12:51 -0700 |
commit | 942600414dba2e32bf2529517e17eaee5991d29c (patch) | |
tree | e58e0f65b13952d1773f11731c48a955a7068206 /src/proof/llb/llb2Driver.c | |
parent | 12c776ed6e5a17a491fdb986ccce99649a06850e (diff) | |
download | abc-942600414dba2e32bf2529517e17eaee5991d29c.tar.gz abc-942600414dba2e32bf2529517e17eaee5991d29c.tar.bz2 abc-942600414dba2e32bf2529517e17eaee5991d29c.zip |
Added simulation of comb circuits with user-specified patterns in command 'sim'.
Diffstat (limited to 'src/proof/llb/llb2Driver.c')
0 files changed, 0 insertions, 0 deletions