Commit Graph

1331 Commits

Author SHA1 Message Date
Jiang Long f18b0254c8 ci 2014-06-04 23:21:13 -07:00
Jiang Long fcbd6f83ec the latest version 2014-06-04 22:49:44 -07:00
Jiang Long 574af21208 merge unfold2 2014-06-04 21:59:03 -07:00
Alan Mishchenko ed695b74ee Adding CEC command &splitprove. 2014-06-04 17:10:22 -07:00
Alan Mishchenko 87143c1182 Adding CEC command &splitprove. 2014-06-04 16:50:39 -07:00
Alan Mishchenko b844433a0d Adding CEC command &splitprove. 2014-06-04 15:00:38 -07:00
Alan Mishchenko f2818ddb83 Adding CEC command &splitprove. 2014-06-04 12:00:37 -07:00
Alan Mishchenko 97bd9d8f1b Adding CEC command &splitprove. 2014-06-04 11:40:37 -07:00
Alan Mishchenko ab1e4ed7f1 Merging two branches. 2014-06-04 09:12:01 -07:00
Alan Mishchenko 5c0c8e1ae2 Fix PLA reader to correctly report error file numbers. 2014-06-02 17:27:21 -07:00
Alan Mishchenko e69854f540 Adding CEC command &splitprove. 2014-06-02 09:55:17 -07:00
Alan Mishchenko 3d8eff2cdc Corner-cases in &gprove and &mprove. 2014-06-01 23:49:52 -07:00
Alan Mishchenko ebf10fdc33 Allow delay increase to be negative in 'mfs2'. 2014-05-31 12:03:35 -07:00
Alan Mishchenko ccaa96549f Fixing the problem with 'phase -c'. 2014-05-29 10:39:55 -07:00
Alan Mishchenko bfa48cef2a Experiment with support minimization. 2014-05-27 01:12:00 +09:00
Alan Mishchenko ed1a925c61 Adding symbolic fault representation in &fftest. 2014-05-23 00:13:03 +09:00
Alan Mishchenko fee0da2310 Experiment with support minimization. 2014-05-22 16:41:11 +09:00
Alan Mishchenko 824ee5b4f3 Adding symbolic fault representation in &fftest. 2014-05-22 15:59:01 +09:00
Alan Mishchenko 79c62d22fc Simple version of ECO. 2014-05-21 22:32:08 +09:00
Alan Mishchenko 8160721240 Experiment with support minimization. 2014-05-21 22:11:44 +09:00
Alan Mishchenko fe5b5ffe19 Experiment with new idea for ISO. 2014-05-21 20:03:39 +09:00
Alan Mishchenko 368de31ae2 Simple version of ECO. 2014-05-21 12:40:20 +09:00
Alan Mishchenko 0e5b950ec6 Adding comment to usage message in 'pdr' regarding invariant dumped when init-state is not all-0. 2014-05-20 22:50:21 +09:00
Alan Mishchenko f30160f4be Adding symbolic fault representation in &fftest. 2014-05-19 21:10:19 +09:00
Alan Mishchenko 911b801f20 Adding symbolic fault representation in &fftest. 2014-05-14 20:28:55 +09:00
Baruch Sterin 26c92f161a add an option to write_cex to write the CEX in AIGER 1.9 format. 2014-05-12 15:20:17 -07:00
Alan Mishchenko b902b6843c Adding duplicator of the design manager. 2014-05-12 13:52:28 +08:00
Alan Mishchenko 954ab62ce6 Bug fix in handling barrier buffers. 2014-05-11 22:13:40 +07:00
Alan Mishchenko 0a79a38a4d Adding duplicator of the design manager. 2014-05-10 02:42:16 +07:00
Alan Mishchenko f39369a415 Adding switch -C <num> to 'amap' to control max number of cuts at a node. 2014-05-09 19:01:22 +07:00
Alan Mishchenko 421362f709 Bug fix in a recent code for mapping. 2014-05-04 23:55:19 +08:00
Alan Mishchenko 5acb147f61 Exploration of functions. 2014-04-28 15:33:15 -07:00
Alan Mishchenko fd1ed5b232 Added dumping original object names into a file. 2014-04-28 12:56:32 -07:00
Alan Mishchenko 6095b15174 Added dumping original object names into a file. 2014-04-26 23:47:54 -07:00
Alan Mishchenko 37703eaaa8 Exploration of functions. 2014-04-26 19:28:12 -07:00
Alan Mishchenko 857688b95e Exploration of functions. 2014-04-26 19:21:06 -07:00
Alan Mishchenko 8de7816daf Exploration of MFFCs. 2014-04-26 13:14:38 -07:00
Alan Mishchenko d948ef80bd Added command 'cubeenum'. 2014-04-23 11:31:38 -07:00
Alan Mishchenko 4f09348367 Experiments with permutations. 2014-04-23 09:52:35 -07:00
Alan Mishchenko d80efa1b49 Bug fix in if -g when choices are used. 2014-04-22 18:31:46 -07:00
Alan Mishchenko 375b46a355 Experiments with permutations. 2014-04-21 21:47:34 -07:00
Alan Mishchenko 76f2adb54f Adding color to sizing stats. 2014-04-19 22:44:18 -07:00
Alan Mishchenko 606fed3b84 Added optimization for average rather than maximum delay. 2014-04-19 19:57:32 -07:00
Alan Mishchenko e868d057bb Added structural hashing by default after if -g and &if -g. 2014-04-19 18:41:45 -07:00
Alan Mishchenko 1bca32bae3 Improvements to DSD balancing. 2014-04-19 17:13:00 -07:00
Alan Mishchenko d0c4c0cd7b Improvements to DSD balancing. 2014-04-19 16:55:44 -07:00
Alan Mishchenko 1efdd3726d Preserving outputs names in the &-space. 2014-04-18 10:10:49 -07:00
Alan Mishchenko 02cf869391 Changes in the LUT mapper data-structures. 2014-04-14 09:06:14 -05:00
Alan Mishchenko e7d0c9dc23 New feature to optimize delay during mapping. 2014-04-11 13:07:56 -07:00
Alan Mishchenko e855eaa080 Improvements to DSD in technology mapping. 2014-04-11 12:01:36 -07:00