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

376 Commits

Author SHA1 Message Date
Alan Mishchenko e1986d0433 Towards better Boolean matching. 2013-10-05 22:52:15 -07:00
Alan Mishchenko a4a1053d98 Towards better Boolean matching. 2013-10-05 22:44:02 -07:00
Niklas Een c9635d029e Added 'abort' message in bridge mode for pdr -a timeout 2013-10-04 15:20:42 -07:00
Alan Mishchenko 7b99370e0a Changing default values. 2013-10-02 14:36:33 -07:00
Alan Mishchenko e34251060e Changing default values. 2013-09-30 11:43:17 -07:00
Alan Mishchenko 1f16b97c89 Changing default values. 2013-09-29 11:57:25 -07:00
Alan Mishchenko f6653175b4 Code to test AIG generation for DSD structures. 2013-09-27 10:08:54 -07:00
Niklas Een 4cc3203110 Fixed a bug in Bridge mode 2013-09-27 00:17:59 -07:00
Alan Mishchenko f704aa43fb New logic sharing extraction. 2013-09-26 19:04:18 -07:00
Alan Mishchenko f787e75b83 Improving DAG-aware unmapping. 2013-09-25 16:41:19 -07:00
Alan Mishchenko 531657105b Improving DAG-aware unmapping. 2013-09-25 15:29:01 -07:00
Alan Mishchenko ee11ee1833 Changes to enable decomposition of non-DSD functions. 2013-09-25 13:18:21 -07:00
Alan Mishchenko e446cfca15 Added bridge integration for multi-output 'pdr -a'. 2013-09-16 14:54:11 -07:00
Alan Mishchenko 653dc8cff5 Added bridge integration for multi-output 'pdr -a'. 2013-09-16 14:46:07 -07:00
Alan Mishchenko 3b1cf0976c Added bridge integration for multi-output 'pdr -a'. 2013-09-16 14:39:37 -07:00
Alan Mishchenko ff5d3591d1 Infrastructure to support full Liberty format and unitification of library representations. 2013-09-15 18:23:49 -07:00
Alan Mishchenko 5b6b7c5bbe Removing duplicated typedef line. 2013-09-13 09:39:50 -07:00
Alan Mishchenko 75fee10708 Improvements to the new technology mapper. 2013-09-12 22:37:26 -07:00
Alan Mishchenko 14606c473e Improvements to the new technology mapper. 2013-09-12 17:53:41 -07:00
Alan Mishchenko 61abba9571 Improvements to the new technology mapper. 2013-09-11 23:49:05 -07:00
Alan Mishchenko 211ac730c6 Improvements to the new technology mapper. 2013-09-11 18:19:36 -07:00
Alan Mishchenko 0e256dc2c2 Updates for the new BMC engine. 2013-09-10 22:12:42 -07:00
Alan Mishchenko 2fa9645b08 Improvements to the new technology mapper. 2013-09-09 14:00:47 -07:00
Alan Mishchenko 48db1c3a04 Improvements to the new technology mapper. 2013-09-09 00:15:01 -07:00
Alan Mishchenko 23879f9200 Unifying parameters for the &ps command. 2013-09-05 20:40:50 -07:00
Alan Mishchenko a495163f74 Buf fixes and minor changes to the &if mapper. 2013-08-29 14:41:01 -07:00
Alan Mishchenko eec022ea64 Adding procedures to specify permutations with unused flops. 2013-08-28 20:21:01 -07:00
Alan Mishchenko 7013e0b672 Small changes to compile on Mac. 2013-08-15 00:58:23 -07:00
Alan Mishchenko fcfafb0601 Enabling additional matching feature in the LUT mapper. 2013-08-12 23:27:20 -07:00
Alan Mishchenko 881b2ec46f Integrated buffering and sizing. 2013-08-08 18:23:00 -07:00
Alan Mishchenko c0ac159888 New technology mapper. 2013-07-14 15:04:25 -07:00
Alan Mishchenko b3e0f5b2e9 New technology mapper. 2013-07-13 23:40:51 -07:00
Alan Mishchenko 2ee26b00f9 Precomputing DSD functions. 2013-07-11 22:08:35 -07:00
Alan Mishchenko 76875cd18d Compiler warning. 2013-07-01 23:08:54 -07:00
Alan Mishchenko 64e2ee223b Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem on some platforms. 2013-07-01 14:07:42 -07:00
Alan Mishchenko 4e247281d2 Updating new mapper. 2013-06-29 23:45:04 -07:00
Niklas Een 45ce151195 Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed. 2013-06-29 02:23:23 -07:00
Niklas Een 43df8967b5 Fixed a problem in BridgeMode; it will now correctly detect if the pipe has been closed and exit ABC. 2013-06-28 21:11:26 -07:00
Alan Mishchenko fe40fd5c80 Updating new mapper. 2013-06-28 16:46:18 -07:00
Alan Mishchenko 13dd754a8c Suggested changes to counting time in Abc_Clock() 2013-06-18 11:26:37 -07:00
Alan Mishchenko 3c97892514 New MFS package. 2013-05-30 14:09:50 -07:00
Alan Mishchenko 67127b838d New DSD detection code. 2013-05-30 09:46:13 -07:00
Alan Mishchenko 22bdf62465 Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:14:42 -07:00
Alan Mishchenko 19c25fd6aa Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:09:23 -07:00
Alan Mishchenko 0cad45fa90 New MFS package. 2013-05-27 09:49:13 -07:00
Alan Mishchenko ac037cbb96 New MFS package. 2013-05-23 23:22:12 -07:00
Alan Mishchenko 3880623c9b Extending cube representation to handle SOPs with many cubes. 2013-05-12 23:23:18 -07:00
Alan Mishchenko 9d219eee4b New MFS package. 2013-05-12 19:09:28 -07:00
Alan Mishchenko eacfad7622 Changing the queue to work in the same the array of costs is realloced. 2013-05-05 09:04:14 -07:00
Alan Mishchenko a762c695d7 New fast extract. 2013-05-05 01:54:11 -07:00