diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-17 11:40:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-17 11:40:33 -0700 |
| commit | 813db6e74d33be5cb79ba909b9adbf23db1651aa (patch) | |
| tree | 3915ed42902fb4e533a69f49be04d2ba784c043c /src/misc/mvc/mvc.h | |
| parent | 326e5da48a71f5438c9c414784bbf56e8ed1b937 (diff) | |
| download | abc-813db6e74d33be5cb79ba909b9adbf23db1651aa.tar.gz abc-813db6e74d33be5cb79ba909b9adbf23db1651aa.tar.bz2 abc-813db6e74d33be5cb79ba909b9adbf23db1651aa.zip | |
Procedure to convert AIG into a netowrk of NAND gates.
Diffstat (limited to 'src/misc/mvc/mvc.h')
0 files changed, 0 insertions, 0 deletions