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

4518 Commits

Author SHA1 Message Date
Alan Mishchenko 362b2d9d08 Supporting LUT in NDR and WLC. 2019-04-05 21:08:46 -10:00
Alan Mishchenko 0739bd7f03 Converting dch-style equivalences into scorr-style ones. 2019-04-05 21:03:35 -10:00
Alan Mishchenko c24fd01f19 Recognizing async reset in blasting (the case of constant 0 driver). 2019-04-02 17:43:57 -10:00
Alan Mishchenko 2feb5da23c Compiler warning. 2019-03-28 07:52:45 -07:00
Alan Mishchenko 45cdd5acaa Extending simulation interface. 2019-03-28 07:50:14 -07:00
Alan Mishchenko 5980562f28 Adding support for logging in command &gla. 2019-03-27 14:51:35 -07:00
Alan Mishchenko a176485a9e Changing print-out in 'dprove' when the miter is combinational. 2019-03-27 14:44:43 -07:00
Alan Mishchenko acdfc3cc9f Recognizing async reset in blasting. 2019-03-26 13:20:39 -07:00
Alan Mishchenko f215b1bb8a Making 'ndr.h' fully independent of other ABC data-structures. 2019-03-23 22:00:10 +01:00
Alan Mishchenko 4394bc8659 Add special handling of script-level assertions. 2019-03-20 22:07:55 +02:00
Alan Mishchenko f0efc6e098 Prevent assertions from firing for deep logic networks. 2019-03-20 22:07:27 +02:00
Alan Mishchenko 911c11afeb Adding support for LUT primitive in NDR. 2019-03-20 11:40:44 +02:00
Alan Mishchenko b78ec9db14 Adding support for LUT primitive in NDR. 2019-03-20 11:38:51 +02:00
Alan Mishchenko 66d2201c2b Fixing several potential bugs. 2019-03-19 11:26:43 +02:00
Alan Mishchenko cde2830d7c Adding new command line args. 2019-03-18 13:29:36 +02:00
Alan Mishchenko 558eee987d Adding new command line args. 2019-03-13 18:49:25 +01:00
Alan Mishchenko d4f4d3448f Changing the default delay of buffers driving POs. 2019-03-13 08:18:57 +01:00
Alan Mishchenko e3cd104810 Updated NPN classification code (compiler warnings). 2019-03-12 23:25:20 +01:00
Alan Mishchenko 900fd5cc73 Adding logfile support to several commands. 2019-03-12 07:47:30 +01:00
Alan Mishchenko c40298004d Updated NPN classification code (bug fix). 2019-03-10 19:34:31 +01:00
Alan Mishchenko 20bb89485a Updated NPN classification code. 2019-03-08 21:08:43 +01:00
Alan Mishchenko ef599dca94 Updated functional enumation code. 2019-03-08 07:24:45 +01:00
Alan Mishchenko 797aeee5d7 Updating canonical form computation procedures (compiler warnings). 2019-03-05 21:59:43 -08:00
Alan Mishchenko 3d238a9626 Updating canonical form computation procedures (compiler warnings). 2019-03-05 21:56:12 -08:00
Alan Mishchenko ee792bddb6 Updating canonical form computation procedures. 2019-03-05 21:40:59 -08:00
Alan Mishchenko 3cce04c62d Fixing some more warnings by adding cast from 'int' to 'size_t'. 2019-03-05 16:26:42 -08:00
Alan Mishchenko f657d9a7e6 Fixing several other type conversion warnings. 2019-03-05 16:08:49 -08:00
Alan Mishchenko 01569b8f5f Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. 2019-03-05 15:57:50 -08:00
Alan Mishchenko b632c8496c Fixing some warnings with -Wconversion. 2019-03-05 15:07:10 -08:00
Alan Mishchenko bc288a7633 Suggested white-space changes for fewer gcc warnings. 2019-03-04 14:29:57 -08:00
Alan Mishchenko 9842e82326 Bug in handling reverse ranges in blasting. 2019-03-04 13:39:38 -08:00
Alan Mishchenko e6f64162b1 Passing names in &scorr. 2019-02-18 18:25:08 -08:00
Alan Mishchenko 7cabc26ebb Passing names in &scorr. 2019-02-18 17:05:03 -08:00
Alan Mishchenko 7143ad4d87 Adding switch -x to &ps to disable color printout. 2019-02-12 16:45:16 -08:00
Alan Mishchenko 881b5a24a0 Add skip feature to CEX printing. 2019-02-08 13:06:20 -08:00
Alan Mishchenko 4d838e7513 Bug fix in generating box library. 2019-02-04 14:03:09 -08:00
Alan Mishchenko 7b419f9041 Compiler warning. 2019-02-01 19:24:55 -08:00
Alan Mishchenko b8db17b478 Compiler warning. 2019-01-30 18:10:43 -08:00
Alan Mishchenko ed155f7f42 Adding new switch to simulation. 2019-01-29 09:43:02 -08:00
Alan Mishchenko f16012bc28 Adding new switch to simulation. 2019-01-29 09:08:54 -08:00
Alan Mishchenko 0699c43ac5 Experiments with memory abstraction. 2019-01-27 21:57:18 -08:00
Alan Mishchenko fafd8c2215 Experiments with memory abstraction. 2019-01-22 22:51:25 -08:00
Alan Mishchenko 82eead0817 Experiments with memory abstraction. 2019-01-22 22:49:36 -08:00
Alan Mishchenko f86cfc937e Experiments with memory abstraction. 2019-01-22 22:44:07 -08:00
Alan Mishchenko 72e3b4ca78 Fixing flop names with reversed ranges. 2019-01-21 15:15:11 -08:00
Alan Mishchenko b3d81b5f76 Exploring other ways of CEX writing. 2019-01-21 14:57:05 -08:00
Alan Mishchenko d4ce4cc982 Undoing some recent changes for improved CEX writing. 2019-01-21 11:49:35 -08:00
Alan Mishchenko f421d2a113 Fixing the problem with outputting word-level CEXes after retiming. 2019-01-18 19:54:41 -08:00
Alan Mishchenko d96d3e3fd5 Changing default parameter values in the AIG generation code. 2019-01-18 17:39:09 -08:00
Alan Mishchenko 81b263e35a Fixing the problem with outputting word-level CEXes after retiming. 2019-01-18 12:34:59 -08:00