diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 21:04:36 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 21:04:36 +0700 |
commit | c3ab7843bbd4306fc62b6cc82da45d75e137c55e (patch) | |
tree | 2a58c296b10ad8259a58e295a9688e711fdfb14c /src/aig/fsim/module.make | |
parent | 99cc6ae9d235096140026f04d1fa5556db899fcb (diff) | |
download | abc-c3ab7843bbd4306fc62b6cc82da45d75e137c55e.tar.gz abc-c3ab7843bbd4306fc62b6cc82da45d75e137c55e.tar.bz2 abc-c3ab7843bbd4306fc62b6cc82da45d75e137c55e.zip |
Backward reachability using circuit cofactoring.
Diffstat (limited to 'src/aig/fsim/module.make')
0 files changed, 0 insertions, 0 deletions