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

2296 Commits

Author SHA1 Message Date
Aaron Tomb 6a4d430e60 Choose Windows file operations with MINGW32. 2013-11-04 14:27:09 -08:00
Aaron Tomb cf1746e348 Make definition of Abc_Clock work with MINGW32. 2013-11-04 14:25:55 -08:00
Alan Mishchenko a0529ec5c8 Sweeper internal dumping. 2013-11-01 18:59:51 -04:00
Alan Mishchenko e2af27f160 Sweeper internal dumping. 2013-11-01 17:09:05 -04:00
Alan Mishchenko 74893bf3d4 Sweeper internal verification. 2013-11-01 13:48:17 -04:00
Alan Mishchenko a564e2ab81 Sweeper internal verification and new switch for &cfraig. 2013-11-01 13:36:51 -04:00
Alan Mishchenko a509fa8ea8 Sweeper internal verification. 2013-11-01 13:25:19 -04:00
Alan Mishchenko ea1a2cfdab Corner-case bug in synthesis commands. 2013-11-01 13:11:11 -04:00
Alan Mishchenko c8bfb82688 Sweeper condition complement bug-fix. 2013-11-01 12:19:56 -04:00
Alan Mishchenko 3b8095a671 Sweeper condition complement bug-fix and code for internal verification. 2013-11-01 12:11:46 -04:00
Alan Mishchenko 57b5141181 Sweeper assertion. 2013-11-01 11:33:43 -04:00
Alan Mishchenko 7b6e7181e0 Sweeper assertion. 2013-11-01 11:22:04 -04:00
Alan Mishchenko e4ab09d771 Sweeper return value normalization. 2013-11-01 11:19:23 -04:00
Alan Mishchenko ec298486b6 False path detection. 2013-10-31 23:42:06 -04:00
Alan Mishchenko 34366b8aca Specialized induction check. 2013-10-31 20:30:40 -04:00
Alan Mishchenko e8c765c0d1 GIA sweeper: adding APIs to return valid probe ID and run a command line. 2013-10-31 17:06:06 -04:00
Alan Mishchenko 615d249e02 GIA sweeper: adding APIs to return valid probe ID and run a command line. 2013-10-31 17:00:06 -04:00
Alan Mishchenko 695231148f Specialized induction check. 2013-10-31 16:41:25 -04:00
Alan Mishchenko 313caa456a False path detection. 2013-10-31 16:36:08 -04:00
Alan Mishchenko 6582e10a82 Specialized induction check. 2013-10-31 14:18:31 -04:00
Alan Mishchenko f620a857d3 Specialized induction check. 2013-10-31 13:07:43 -04:00
Alan Mishchenko a457bfe1e5 GIA sweeper interface update. 2013-10-31 11:20:37 -04:00
Alan Mishchenko 05c987b6cf Improving critical path print-out. 2013-10-31 09:58:59 -04:00
Alan Mishchenko 431dc61a9e Bug fix in 'tempor -s'. 2013-10-30 19:09:55 -04:00
Alan Mishchenko 9439786d95 Changes to Liberty parser. 2013-10-30 18:07:41 -04:00
Alan Mishchenko 89864d111e GIA sweeper interface update. 2013-10-30 16:04:17 -04:00
Alan Mishchenko e3e47a599d GIA sweeper interface update. 2013-10-30 15:45:19 -04:00
Alan Mishchenko b259a62d40 Compiler warnings. 2013-10-30 13:52:26 -04:00
Alan Mishchenko a8c85d79e7 Compiler warnings. 2013-10-30 13:46:31 -04:00
Alan Mishchenko 2b85ef06e5 Compiler warnings. 2013-10-30 13:45:00 -04:00
Alan Mishchenko 80f46fa2ae Compiler warnings. 2013-10-30 10:29:44 -04:00
Alan Mishchenko f4a250839d Changes to Liberty parser. 2013-10-30 10:18:01 -04:00
Alan Mishchenko e23dd881fb Wrapper around the BMC engine to restart it with higher resource limits. 2013-10-29 12:30:16 -07:00
Alan Mishchenko e3f9ad3c97 New BMC engine. 2013-10-27 22:55:23 -07:00
Alan Mishchenko d65d8528b6 New BMC engine. 2013-10-27 22:39:58 -07:00
Alan Mishchenko a7867378ac New BMC engine. 2013-10-27 14:16:29 -07:00
Alan Mishchenko b39e09bb73 Multi-output property solver. 2013-10-27 12:13:40 -07:00
Alan Mishchenko 72f01030c4 Getting rid of a recursive procedure during CNF construction in bmc3. 2013-10-27 10:31:44 -07:00
Alan Mishchenko 3b30fb2a11 Multi-output property solver. 2013-10-26 23:05:13 -07:00
Alan Mishchenko 9437664596 Multi-output property solver. 2013-10-26 21:29:57 -07:00
Alan Mishchenko 7d2b77afc8 Multi-output property solver. 2013-10-23 16:26:20 -07:00
Alan Mishchenko 47afd0f4f4 Multi-output property solver. 2013-10-23 16:26:13 -07:00
Alan Mishchenko 8ad1729aa9 Adding new synthesis scripts. 2013-10-23 10:44:11 -07:00
Alan Mishchenko 103fa663c7 More accurate level calculation in AIG balancing. 2013-10-22 19:59:52 -07:00
Alan Mishchenko 1c56475287 Extending predefined limit in &shrink. 2013-10-21 13:48:07 -07:00
Alan Mishchenko cb4631e64e Compiler warnings. 2013-10-17 18:04:07 -07:00
Alan Mishchenko 9f2c4e9988 Bug fix in gate-sizing. 2013-10-16 19:02:47 -07:00
Alan Mishchenko 4ab7905b72 Fix for writing choices into a BLIF file. 2013-10-16 13:33:51 -07:00
Alan Mishchenko f9900a4c3b Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe. 2013-10-15 09:04:27 -07:00
Alan Mishchenko 1692c1a57a Improvements to buffering and sizing. 2013-10-13 23:08:52 -07:00