luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3,132 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

3132 Commits

Author SHA1 Message Date
Alan Mishchenko 95af979753 Adding new Python API 'co_supp'. 2015-07-06 22:47:47 -07:00
Alan Mishchenko 9894fc762e Add fix to Liberty parser to skip extra semicolon. 2015-07-06 07:57:18 -07:00
Alan Mishchenko cc0954e022 Bug fix in SMT-LIB parser. 2015-06-30 09:49:55 -07:00
Alan Mishchenko 8c1e81a7c8 Fixing assertion failure in Abc_NtkBddToSop. 2015-06-29 12:52:16 -07:00
Alan Mishchenko 819c0ccab2 Making sure the CI/CO are not ordered by 'fraig_restore'. 2015-06-29 12:01:42 -07:00
Alan Mishchenko b4d0abb77d Undo recent assert. 2015-06-27 21:38:32 -07:00
Alan Mishchenko 66ef4a9ac1 Potential performance bug in the mapper. 2015-06-27 19:57:49 -07:00
Alan Mishchenko 9eb3a3b349 Adding resource limits to 'fraig_restore'. 2015-06-27 19:39:02 -07:00
Alan Mishchenko 9b1de5b166 Compiler warnings. 2015-06-24 12:31:43 -07:00
Alan Mishchenko 9c0c460795 New command &genqbf to dump the QBF miter for ind inv computation. 2015-06-23 20:48:24 -07:00
Alan Mishchenko a26d8621f0 Add warnings to %read about 3-arge ops and non-zero-based ranges. 2015-06-23 15:53:41 -07:00
Alan Mishchenko d0d7763ef8 Supporting AND-gate cuts in 'if' and '&if' 2015-06-21 13:31:02 -07:00
Alan Mishchenko ffcb4afbb5 Supporting 'distinct' keyword in SMT-LIB parser. 2015-06-20 13:50:46 -07:00
Alan Mishchenko 4b7dd69260 Adding new debugging feature to Wlc_Ntk_t. 2015-06-19 22:58:07 -07:00
Alan Mishchenko 6e4ef76311 Bug with in signed MUX. 2015-06-14 13:18:23 -07:00
Alan Mishchenko 17c32289e1 Bug with in signed MUX. 2015-06-12 23:02:11 -07:00
Alan Mishchenko 8452f5cff3 Sequential word-level simulator for Wlc_Ntk_t (bug fix). 2015-06-05 15:07:46 -07:00
Alan Mishchenko 0489deb631 Sequential word-level simulator for Wlc_Ntk_t. 2015-06-04 22:32:51 -07:00
Alan Mishchenko f7939ee6b1 Merging two threads. 2015-05-25 18:23:51 -07:00
Alan Mishchenko d0bbb46191 Changing the way extension 'b' is written. 2015-05-25 18:19:38 -07:00
Alan Mishchenko 9eb8184e74 Copying prog cell data. 2015-05-21 07:40:47 -07:00
Alan Mishchenko 14b7a520a1 Bug fix in 'dsd_tune' when processing cells with 0-input LUTs. 2015-05-15 22:36:11 -07:00
Alan Mishchenko 37b6b5f1f8 Making sure 0-input LUTs are supported by the DSD matching code. 2015-05-14 13:12:17 -07:00
Alan Mishchenko a39ef30708 Procedure for extending care CEX to all objects. 2015-05-14 09:34:20 -07:00
Alan Mishchenko 3e1c831b2d Bug fix in QBF solver. 2015-05-04 17:42:19 -07:00
Alan Mishchenko a90700c753 Correcting assert in converting standard cell mapping from GIA into ABC. 2015-04-27 23:06:39 -07:00
Alan Mishchenko b3e6cb30bb Bug fix in %read_smt and prevent crash of &cec if there is no current AIG. 2015-04-27 13:56:17 -07:00
Alan Mishchenko c0f0e145c4 Improving the criteria to select representative gates in 'map' with floating-point-delay libraries having more than one gate in some functionality classes. 2015-04-25 14:58:29 -07:00
Alan Mishchenko 3be417ae1c Fix inconsistency between operators and symbols in Wlc_Ntk_t. 2015-04-25 11:56:00 -07:00
Alan Mishchenko 55e7dd16d3 Suggested fixes to compile with 'gcc -x c++'. 2015-04-24 21:33:45 -07:00
Alan Mishchenko 9e20b3016d Adding switch 'map -f' to not use large gates for high-fanout nodes (disabled by default). 2015-04-24 14:51:34 -07:00
Alan Mishchenko 3708acbf46 Bug fix in 'print_supp' (induced bugs in 'bm' and 'bm2'). 2015-04-24 14:44:08 -07:00
Alan Mishchenko a78fb767ee Adding platform-independent (alphabetic) way of sorting Genlib gates and selecting representatives based on area/delay. 2015-04-17 21:02:15 +09:00
Alan Mishchenko bc6c0837a1 Adding support for dumping faults not detected by a given test-set in &fftest (switch -n). 2015-04-17 17:00:31 +09:00
Alan Mishchenko b1aabead5d Bug fix in &satfx. 2015-04-17 11:04:14 +09:00
Alan Mishchenko cd4807ea04 Adding support for cardinality constraints in &fftest (switches -K and -k). 2015-04-16 20:58:23 +09:00
Alan Mishchenko 4b2205ce6e Commenting out useless assertion in choice computation. 2015-04-15 17:38:08 +09:00
Alan Mishchenko e85d29663a Adding switch &fftest -e to dump delay-tests in a special format. 2015-04-15 08:13:38 +09:00
Alan Mishchenko 5c840d88f9 Adding switch &fftest -e to dump delay-tests in a special format. 2015-04-14 19:46:44 +09:00
Alan Mishchenko 3de5d18c5f Adding APIs to retrieve NOR/OR gates from the library. 2015-04-14 18:53:28 +09:00
Alan Mishchenko 96c622b3bc Making BDD computation more robust by using dynamic resource limit. 2015-04-11 09:22:03 +09:00
Alan Mishchenko dff6e2ab31 Procedure to dump ZDD representing a set of cubes into a PLA file. 2015-04-10 21:30:53 +09:00
Alan Mishchenko b6b9d284c4 Several additional fixed in the timing manager. 2015-04-07 00:33:20 +07:00
Alan Mishchenko 452ff2730c Bug fix in 'mfs2': Apply sweep to avoid assertion failure when translating into a BDD. 2015-04-06 11:49:19 +07:00
Alan Mishchenko b3e5ccd256 Getting default AND-node delay from Genlib library. 2015-04-06 10:56:14 +07:00
Alan Mishchenko c0c7723f1d Allow timing manager to be started when a default is set. 2015-04-06 10:31:59 +07:00
Alan Mishchenko 85b33df1e1 Improvements in reading timing information from BLIF. 2015-04-05 13:03:25 +07:00
Alan Mishchenko 6a0566d22b Bug fix for big-endiang architectures (plus adding -lm in Makefile). 2015-04-04 16:36:11 +07:00
Alan Mishchenko b79fd69fb5 Making sure the names are transfered when &get -n is used. 2015-04-04 16:15:36 +07:00
Alan Mishchenko 3a15f34307 Properly copying and saving the timing info in &get and &put. 2015-04-04 16:15:07 +07:00