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

2966 Commits

Author SHA1 Message Date
Alan Mishchenko 6e59e4e542 Adding relax ratio to &synch2. 2014-12-13 20:10:24 -08:00
Alan Mishchenko e946deec81 Integrating barrier buffers. 2014-12-13 20:03:29 -08:00
Alan Mishchenko aadfea8b4d Integrating barrier buffers. 2014-12-13 12:37:04 -08:00
Alan Mishchenko b379b3ee20 Adding new mapping feature. 2014-12-11 20:45:41 -08:00
Alan Mishchenko ac7633c5a4 Integrating barrier buffers. 2014-12-11 11:14:04 -08:00
Alan Mishchenko 4f940de518 Converting AIG with MUXes into a logic network. 2014-12-10 22:52:34 -08:00
Alan Mishchenko b94b7852d7 Bug fix in &fftest when used for ECO. 2014-12-10 18:55:12 -08:00
Alan Mishchenko a1fa224d61 New flavor of DSD-friendly 'eliminate'. 2014-12-09 23:30:46 -08:00
Alan Mishchenko 1398de7c46 Integrating barrier buffers. 2014-12-08 14:10:41 -08:00
Alan Mishchenko 3e2fad3574 Changes to the parser. 2014-12-04 18:23:20 -08:00
Alan Mishchenko 705006a648 Changes to the parser. 2014-12-03 20:35:39 -08:00
Alan Mishchenko e970aa8521 Added and verified bit-blasting of power operator. 2014-11-30 16:18:13 -08:00
Alan Mishchenko 109fc76f43 Changes to history recording and other small things. 2014-11-30 12:20:43 -08:00
Alan Mishchenko 5d1a5f3590 Changes to history recording and other small things. 2014-11-30 12:19:32 -08:00
Alan Mishchenko 1d20dea11b Induced bug fix in bitblasting of rotation operator. 2014-11-29 19:34:47 -08:00
Alan Mishchenko 2e9d3a3ebf Compiler warnings. 2014-11-29 15:34:47 -08:00
Alan Mishchenko 87f0d187bf Compiler warnings. 2014-11-29 14:43:21 -08:00
Alan Mishchenko 24f1ca0703 New parser and framework. 2014-11-29 14:36:26 -08:00
Alan Mishchenko c30a0ca0b9 Improvements to handling boxes and flops. 2014-11-25 21:57:34 -08:00
Alan Mishchenko ba4063acb2 Improvements to handling boxes and flops. 2014-11-25 21:07:27 -08:00
Alan Mishchenko 9e0c90d4c3 Adding integrity check for boxes and flops. 2014-11-25 19:37:01 -08:00
Alan Mishchenko dd3e5a90de Improvements to handling boxes and flops. 2014-11-25 17:26:59 -08:00
Alan Mishchenko dca14d5678 Improvements to handling boxes and flops. 2014-11-25 14:28:49 -08:00
Alan Mishchenko 8d5fa2c290 Improvements to handling boxes and flops. 2014-11-24 20:02:51 -08:00
Alan Mishchenko 6ed334d41b Improvements to handling boxes and flops. 2014-11-24 19:29:42 -08:00
Alan Mishchenko 8feac56509 Experiments with hierarchy representation. 2014-11-24 15:35:52 -08:00
Alan Mishchenko 3368b2dda9 Improvements to handling boxes and flops. 2014-11-24 15:15:45 -08:00
Alan Mishchenko df83fb5e04 Fix in reading flop classes. 2014-11-21 12:01:26 -08:00
Alan Mishchenko cf2f9364c5 Fix in reading flop classes. 2014-11-21 11:11:12 -08:00
Alan Mishchenko c339e5b985 Fix in reading flop classes. 2014-11-21 10:14:48 -08:00
Alan Mishchenko 2fca2b2b16 Fix in reading flop classes. 2014-11-21 10:01:45 -08:00
Alan Mishchenko 9e6d74bc15 Experiments with hierarchy representation. 2014-11-20 22:09:57 -08:00
Alan Mishchenko 997a92fc54 Extending &fadds to support artificial chains. New command &setregnum. 2014-11-20 10:46:14 -08:00
Alan Mishchenko 716b9502c9 Extending &fadds to support artificial chains. 2014-11-19 20:49:15 -08:00
Alan Mishchenko c06bdc151c Added check if a given command exists. 2014-11-18 13:54:16 -08:00
Alan Mishchenko d662e7ff68 Merging two branches. 2014-11-17 18:03:51 -08:00
Alan Mishchenko 7a8d56b9ad AND/OR bug in the UIF computation. 2014-11-17 17:46:08 -08:00
Alan Mishchenko e30df95aba Printout in mfs2. 2014-11-17 13:36:26 -08:00
Alan Mishchenko 345d4e24f3 Bug fix in abstracting boxes. 2014-11-17 12:55:12 -08:00
Alan Mishchenko a28dd33df0 Integrating mfs2 package to work with boxes. 2014-11-17 11:49:30 -08:00
Alan Mishchenko 5a10c8ad01 Integrating mfs2 package to work with boxes. 2014-11-16 23:27:21 -08:00
Alan Mishchenko d9ffe9c3ad Improvements to word-level network package. 2014-11-14 20:38:13 -08:00
Alan Mishchenko 98c5668d4b Improvements to word-level network package. 2014-11-14 20:15:36 -08:00
Alan Mishchenko cc37fb9573 Improvements to word-level network package. 2014-11-14 20:12:20 -08:00
Alan Mishchenko 3dd08c7172 Enabling AIGs with boxes for word-level and sequential designs. 2014-11-14 15:34:03 -08:00
Alan Mishchenko a34183790f Enabling AIGs with boxes for word-level and sequential designs. 2014-11-13 18:28:25 -08:00
Alan Mishchenko 968be1577b Generation of barrier-buffers for hierarchical design. 2014-11-11 23:17:48 -08:00
Alan Mishchenko 96fa84ad77 Added switch -i to &filter to use FIs instead of FOs. 2014-11-11 15:11:44 -08:00
Alan Mishchenko 2a028aa147 Bug fix in blasting MUX with different ranges of inputs and the output. 2014-11-10 21:43:41 -08:00
Alan Mishchenko ac030ee42c Generation of barrier-buffers for hierarchical design. 2014-11-10 16:45:48 -08:00
Alan Mishchenko 5ebf135b6a Adding cyclicity check for netlist with boxes. 2014-11-10 14:55:27 -08:00
Alan Mishchenko 873c35018a Removing unauthorized printout in 'pdr'. 2014-11-09 23:54:57 -08:00
Alan Mishchenko ac72d73dc6 Removing unauthorized printout in 'pdr'. 2014-11-09 23:13:37 -08:00
Alan Mishchenko 9a292bd93c Detecting full-adder chains and putting them into white boxes. 2014-11-09 23:01:30 -08:00
Alan Mishchenko 372a348c90 Detecting full-adder chains and putting them into white boxes. 2014-11-09 22:49:17 -08:00
Alan Mishchenko 153e888794 Full adder detection code. 2014-11-08 09:34:44 -08:00
Alan Mishchenko e4ff9cc9a5 Added minor API to clean path on a Windows computer. 2014-11-05 16:16:47 -08:00
Alan Mishchenko ad7c8d6382 Experimental implementation of BMC-related procedures. 2014-11-05 09:29:00 -08:00
Alan Mishchenko 8c2e51824e Experimental implementation of BMC-related procedures. 2014-11-04 20:35:36 -08:00
Alan Mishchenko d75b8ce874 Compiler warnings. 2014-11-03 18:10:36 -08:00
Alan Mishchenko 93754146a4 Bug fix in CEX printing. 2014-11-03 16:45:09 -08:00
Alan Mishchenko 93ad6e7dd4 Making public some APIs. 2014-11-03 15:41:50 -08:00
Alan Mishchenko 505747d443 Improvements to &fftest (adding computation of fixed parameters). 2014-11-02 21:43:49 -08:00
Alan Mishchenko b4cf2f7448 Added switches '-c' and '-n' to 'init'. 2014-11-02 17:35:47 -08:00
Alan Mishchenko 91885a6298 Commenting out useless macro which causes failure on VS 2012. 2014-10-30 10:19:54 -07:00
Alan Mishchenko 135bf3ecdf Compiler warnings. 2014-10-28 23:53:17 -07:00
Alan Mishchenko c556baa92e Changes to enable building external code. 2014-10-28 21:13:59 -07:00
Alan Mishchenko e2b8d95b6f Bug fix in bmc3 -a -x. 2014-10-28 19:49:32 -07:00
Baruch Sterin c2ccf238fd pyabc: handle a few corner cases 2014-10-28 18:42:14 -07:00
Alan Mishchenko 4edc023479 Bug fix in bmc3 -a -x. 2014-10-28 18:28:21 -07:00
Alan Mishchenko c0db4d2a12 Changes to enable building external code. 2014-10-27 17:56:48 -07:00
Alan Mishchenko 736c2245ea Adding MAJ gate to GIA package. 2014-10-26 21:03:30 -07:00
Alan Mishchenko 836723cf73 Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default. 2014-10-26 08:57:13 -07:00
Alan Mishchenko b8556e7edf New command &satenum to enumerate SAT assignments of a miter in a naive way. 2014-10-25 17:55:35 -07:00
Alan Mishchenko f93ede121d Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations. 2014-10-25 17:07:38 -07:00
Alan Mishchenko 96c9792f33 Merged in sterin/abc (pull request #9) 
make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()
 2014-10-23 18:19:51 -07:00
Alan Mishchenko 49caf258d4 One bug fix and two small changes. 2014-10-22 20:18:13 -07:00
Alan Mishchenko 51be0f4c52 One bug fix and two small changes. 2014-10-22 20:17:09 -07:00
Baruch Sterin 392390d23e make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd() 2014-10-22 15:50:06 -07:00
Alan Mishchenko 51bf121073 Bug fix in seq synthesis due to resent code restructuring. 2014-10-21 21:48:53 -07:00
Alan Mishchenko d2e42ec081 Disabling MiniSAT 2.2 for now. 2014-10-21 20:40:50 -07:00
Alan Mishchenko 5c93850553 Compiler problems. 2014-10-21 20:24:13 -07:00
Alan Mishchenko c49f35835b Compiler problems. 2014-10-21 20:20:22 -07:00
Alan Mishchenko 5bd9edb52d Compiler problems. 2014-10-21 20:18:14 -07:00
Alan Mishchenko 5ae8a37d9d Compiler problems. 2014-10-21 20:13:25 -07:00
Alan Mishchenko 228dbcc51e Adding code of MiniSAT 2.2. 2014-10-21 19:45:52 -07:00
Alan Mishchenko a9317eac75 Preparing to work with C++ code. 2014-10-21 19:37:33 -07:00
Alan Mishchenko 7592aa8a3e Adding commands backup/restore. 2014-10-21 10:51:41 -07:00
Alan Mishchenko 83bc1148a2 Adding switch &qbf -q to quantify functional variables. 2014-10-20 11:01:34 -07:00
Alan Mishchenko bae5e26fb5 Adding switch &qbf -q to quantify functional variables. 2014-10-20 11:00:11 -07:00
Alan Mishchenko 8de80e673a Improved QBF solver. 2014-10-18 21:05:34 -07:00
Alan Mishchenko ab72e52792 Improved QBF solver. 2014-10-18 17:04:47 -07:00
Alan Mishchenko 23441c060a Improved QBF solver. 2014-10-18 16:10:18 -07:00
Alan Mishchenko 3653bf53e9 Bug fix in truth table computation. 2014-10-15 14:26:44 -07:00
Alan Mishchenko 70cb236144 Compiler problem with includes. 2014-10-13 16:59:47 -07:00
Alan Mishchenko 5326a59945 MUX decomposition during mapping. 2014-10-13 16:39:39 -07:00
Alan Mishchenko 6f9051a99c MUX decomposition during mapping. 2014-10-12 12:47:41 -07:00
Alan Mishchenko 2f1988e8f6 MUX decomposition during mapping. 2014-10-12 10:13:47 -07:00
Alan Mishchenko 3ac8aa9c12 Recommended changes for portability. 2014-10-12 09:10:27 -07:00
Alan Mishchenko bc4164a466 Merged in grigora/abc/grigora/fixed-hang-issue-in-bm-command-1413034154897 (pull request #8) 
Fix for hang issue in "bm" command.
 2014-10-11 18:07:56 -07:00
Alan Mishchenko 8b160138f1 MUX decomposition during mapping. 2014-10-11 17:19:41 -07:00
Alan Mishchenko 09a5950c8f Deriving network in terms of programmable cells. 2014-10-11 15:53:32 -07:00
grigora 83a47278a9 Fixed "bm" command hang issue. 2014-10-11 13:30:02 +00:00
Alan Mishchenko f0044175ee Improvements to the parser. 2014-10-10 19:17:19 -07:00
Alan Mishchenko f6c1fc072c Naive (SAT-only) CEC option. 2014-10-10 16:14:48 -07:00
Alan Mishchenko 01e1b6345e Bug fix in the bit-blaster. 2014-10-10 13:46:58 -07:00
Alan Mishchenko 5a4592ee69 Improvements to ISOP. 2014-10-10 13:15:31 -07:00
Alan Mishchenko b8bd21c82d Improvements to ISOP. 2014-10-10 12:59:30 -07:00
Alan Mishchenko 5cf92f32a5 Correction to the patch to compile with Visual Studio. 2014-10-10 09:41:07 -07:00
Alan Mishchenko ccb5bb34d7 Suggested patch for type-punned warnings 2014-10-10 08:58:18 -07:00
Alan Mishchenko ca9eca3b22 Small changes. 2014-10-08 13:26:23 -07:00
Alan Mishchenko 97b52a6a6d Compiler warnings. 2014-10-08 10:56:31 -07:00
Alan Mishchenko df0f8ad540 Compiler warnings. 2014-10-08 10:54:02 -07:00
Alan Mishchenko 141c1de0a2 Compiler warnings. 2014-10-08 10:52:32 -07:00
Alan Mishchenko e4d5887671 Detection of threshold functions. 2014-10-08 10:41:20 -07:00
Alan Mishchenko bd0373daf5 New ISOP computation. 2014-10-07 13:02:50 -07:00
Alan Mishchenko 6d79be6b01 Bug fix in move_names. 2014-10-05 11:13:08 -07:00
Alan Mishchenko 820cbc116f Updates to &flow and &flow2. 2014-10-05 10:59:26 -07:00
Alan Mishchenko 734435f441 Deriving cell mapping with &if -kz. 2014-10-04 19:36:41 -07:00
Alan Mishchenko 24083998ab Deriving cell mapping with &if -kz. 2014-10-04 19:18:34 -07:00
Alan Mishchenko 4c7165a4f7 New ISOP computation. 2014-10-04 17:56:08 -07:00
Alan Mishchenko fa5f05e3a2 Deriving AIG after cell mapping. 2014-10-03 17:15:43 -07:00
Alan Mishchenko 3f31a8580f Bug fix in Verilog writer. 2014-10-02 14:53:30 -07:00
Alan Mishchenko 889b329d01 Adding switch -R to 'if'. 2014-10-02 13:17:53 -07:00
Alan Mishchenko 6d94b6b1a2 Improvements to bit-blaster. 2014-10-01 22:54:08 -07:00
Alan Mishchenko 27b1e49dee Improvements to bit-blaster. 2014-09-30 20:28:49 -07:00
Alan Mishchenko ed1bf0000e Improvements to bit-blaster. 2014-09-30 19:51:39 -07:00
Alan Mishchenko 69519f86cd Adding options to &flow. 2014-09-29 18:08:57 -07:00
Alan Mishchenko a6c81c65df Adding options to &flow2. 2014-09-29 16:23:24 -07:00
Alan Mishchenko 69b4a92286 Adding options to &flow2. 2014-09-29 16:08:59 -07:00
Alan Mishchenko 4960af4e76 Adding options to &flow. 2014-09-29 14:54:55 -07:00
Alan Mishchenko 05ee370f85 Command to rename files in the same directory. 2014-09-28 20:48:53 -07:00
Alan Mishchenko 0c070a35e5 Adding out-of-bounds checks to AIGER readers. 2014-09-28 12:17:02 -07:00
Alan Mishchenko 98e377bdff Adding features to CNF generation. 2014-09-28 12:10:13 -07:00
Alan Mishchenko fbc9c00fd1 Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter). 2014-09-28 11:32:26 -07:00
Alan Mishchenko 69bd355467 Support for sequential designs in word-level Verilog. 2014-09-26 16:11:36 -07:00
Alan Mishchenko 6aa1c94ea5 Enabling print-out, for each operator, of the percetage of AND nodes after bit-blasting. 2014-09-25 20:33:29 -07:00
Alan Mishchenko a1b4773c77 Printing node type statistics. 2014-09-24 17:29:34 -04:00
Alan Mishchenko 7d21182067 Printing node type statistics. 2014-09-24 13:01:24 -04:00
Alan Mishchenko 4db5e3c02d Printing node type statistics. 2014-09-24 12:46:35 -04:00
Alan Mishchenko ffaad9ba10 Bug fix in handling MUXes in Verilog parser, induced by recent changes. 2014-09-24 09:05:40 -04:00
Alan Mishchenko ad079f7207 Added switch -t to &flow2. 2014-09-24 00:33:16 -04:00
Alan Mishchenko ea9c1c0bff Added support of word-level MUXes represented as 'always'-statements. 2014-09-24 00:24:54 -04:00
Alan Mishchenko a4d5a9b5bc Added support of word-level MUXes represented as 'always'-statements. 2014-09-24 00:22:18 -04:00
Alan Mishchenko d9b5aa49f7 Enables dumping stats into a file. 2014-09-23 20:32:37 -04:00
Alan Mishchenko 3f95853f3e Extending &cec to take a single-output miter (usage of switch -d has changed!). 2014-09-23 16:22:21 -04:00
Alan Mishchenko 93e5631cff Debugging the bit-blaster. 2014-09-23 16:04:35 -04:00
Alan Mishchenko 3f6c08dfc6 Debugging the bit-blaster. 2014-09-23 12:54:57 -04:00
Alan Mishchenko 15f5428989 Adding switch to enable SOP balancing in '&flow2'. 2014-09-21 21:40:34 -04:00
Alan Mishchenko 8f3dd475ee Tuning the flow scripts. 2014-09-20 23:37:07 -07:00