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

750 Commits

Author SHA1 Message Date
Alan Mishchenko 64e907d153 Technology mapper. 2013-01-08 05:51:36 +08:00
Alan Mishchenko bfad654205 Assembling timing/hierarchy manager from input data. 2012-12-15 17:39:34 -08:00
Alan Mishchenko 82050bbe11 Assembling timing/hierarchy manager from input data. 2012-12-13 15:18:53 -08:00
Alan Mishchenko 5ef3c1db3a Unifification of custom extensions. 2012-12-13 10:17:56 -08:00
Alan Mishchenko b2bd941a7e Unifification of custom extensions. 2012-12-13 10:15:32 -08:00
Alan Mishchenko 5a8f8b8aa4 Unifification of custom extensions. 2012-12-13 10:11:39 -08:00
Alan Mishchenko f0d961c825 Unifification of custom extensions. 2012-12-13 10:02:35 -08:00
Alan Mishchenko 2575a5d683 Unifification of custom extensions. 2012-12-10 13:56:40 -08:00
Alan Mishchenko dc843b03c9 Renaming If_Lut_t into If_LibLut_t. 2012-12-10 01:07:41 -08:00
Alan Mishchenko 8a08453af2 Corner-case bug fix in &rpm. 2012-12-09 10:05:34 -08:00
Alan Mishchenko 79aa1f00d6 Deriving CEX after phase/tempor/reparam. 2012-12-09 08:19:00 -08:00
Alan Mishchenko 0058cefee3 Deriving CEX after phase/tempor/reparam. 2012-12-09 00:19:18 -08:00
Alan Mishchenko 8e5d771feb Deriving CEX after phase/tempor/reparam. 2012-12-08 12:38:31 -08:00
Alan Mishchenko 5d74635f7b Restoring correct behavior of 'tempor' after a change in counting BMC frames in 'bmc2'. 2012-12-07 22:07:47 -08:00
Alan Mishchenko a797ea0cc7 Enabling additional stat printouts. 2012-12-02 00:00:29 -08:00
Alan Mishchenko 86fcba60c2 Enabling command &append for combiming multiple AIGs. 2012-12-01 23:13:24 -08:00
Alan Mishchenko 661265984c Counter-example analysis and optimization. 2012-11-28 16:18:39 -08:00
Alan Mishchenko a0052e22b4 Added switch 'cexcut -m' to generate bad states for all frames after G. 2012-11-15 16:00:29 -08:00
Alan Mishchenko c2e467d55b Added switch 'cexcut -n' to generate only one bad state. 2012-11-15 10:59:57 -08:00
Alan Mishchenko be29f37baa Added command 'cexcut' and 'cexmerge'. 2012-11-14 18:20:35 -08:00
Alan Mishchenko 9d5d804610 Added command 'cexcut' and 'cexmerge'. 2012-11-14 16:09:49 -08:00
Alan Mishchenko ddab80aea4 Isolating BMC code into a separate package. 2012-11-14 14:00:47 -08:00
Alan Mishchenko be7a4e4259 Isolating BMC code into a separate package. 2012-11-14 13:55:24 -08:00
Alan Mishchenko 30b8c3d422 Made print-out of frontier cut an option ('-c') in '&ps'. 2012-11-12 14:08:10 -08:00
Alan Mishchenko 566c7d7152 Extending GIA to represent pintypes and pins. 2012-11-12 13:57:51 -08:00
Alan Mishchenko fdcbb2cf37 Performance bug fix in choice generation. 2012-11-09 12:43:03 -08:00
Alan Mishchenko db7852bba7 Improvements to LMS code. 2012-11-06 18:04:23 -08:00
Alan Mishchenko 96d3348d8f Fixing out-of-bound problem when collecting GIA nodes. 2012-11-02 12:02:16 -07:00
Alan Mishchenko f829eca548 Changing default parameter in &if. 2012-11-02 11:02:24 -07:00
Alan Mishchenko 42e767c294 External APIs needed to use ABC as a static library. 2012-10-31 10:49:38 -07:00
Niklas Een e353c4b75c Merge 2012-10-30 12:38:57 -07:00
Niklas Een f21615ecc2 Replaced printfs with Abc_Print 2012-10-29 15:26:39 -07:00
Niklas Een 6f32f2b854 Replaced printfs with Abc_Print 2012-10-29 15:24:28 -07:00
Alan Mishchenko c73c37a99d Improvements to LMS code. 2012-10-28 16:16:34 -07:00
Alan Mishchenko da0e1a3006 Integrating GIA with LUT mapping. 2012-10-25 23:06:32 -07:00
Alan Mishchenko 7ecea8d40d Added hierarchical BLIF output for mapping with LUT structures (write_blif -a -S <XYZ>). 2012-10-24 21:12:50 -07:00
Alan Mishchenko e9e8f17942 Integrating GIA with LUT mapping. 2012-10-24 20:00:20 -07:00
Alan Mishchenko 6b96d9a84e Integrating GIA with LUT mapping. 2012-10-24 17:39:38 -07:00
Alan Mishchenko 5cd1396b3d Creating dedicated choice representation for GIA. 2012-10-24 12:22:46 -07:00
Alan Mishchenko bc21cb41b4 Adding frontier comptuation based on reversed CO order in &ps. 2012-10-24 10:43:55 -07:00
Alan Mishchenko 2be812b4e0 Fixing frontier computation in &ps. 2012-10-24 10:32:05 -07:00
Alan Mishchenko 0294fc7861 Commenting out printout. 2012-10-10 17:35:33 -07:00
Alan Mishchenko cc0e5d4f1d Added procedure to check correctness of the topo order during AIG construction. 2012-10-10 14:45:24 -07:00
Alan Mishchenko daeffe791c Making report about the number of correcty covered frames consistent across the engines. 2012-10-09 15:42:25 -07:00
Alan Mishchenko 4ed89d00fe Making explicit cast to 64-bit unsigned in a few places. 2012-10-09 09:23:08 -07:00
Alan Mishchenko 7b9f4a278d Extending the default GIA writing buffer. 2012-10-09 09:00:25 -07:00
Alan Mishchenko 2cb69e4511 Bug fix in reading AIGER with both signal names and extensions. 2012-10-08 14:17:50 -07:00
Alan Mishchenko 6eb2e7156a Simplification in AIG manager object counting. 2012-10-05 17:07:38 -07:00
Alan Mishchenko 56d3d7cd22 C++ portability changes. 2012-10-03 21:49:18 -07:00
Alan Mishchenko 63c9540543 Minor bug fixes. 2012-10-03 20:38:03 -07:00