summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Collapse)AuthorAgeFilesLines
* Isomorphism checking code.Alan Mishchenko2012-02-171-1/+25
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-17/+17
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-161-2/+11
|
* Isomorphism checking code.Alan Mishchenko2012-02-141-1/+3
|
* Added restarts to PDR.Alan Mishchenko2012-02-131-6/+18
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-121-2/+14
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-111-1/+1
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-111-14/+14
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-111-2/+14
|
* Added switch -f to 'print_io' to suppress printing flops.Alan Mishchenko2012-02-111-5/+9
|
* Graph isomorphism checking code.Alan Mishchenko2012-02-111-2/+86
|
* Bug fixes in &cec command.Alan Mishchenko2012-02-101-2/+4
|
* Graph isomorphism checking code.Alan Mishchenko2012-02-021-6/+8
|
* Lazy man's logic synthesis.Alan Mishchenko2012-02-011-3/+17
|
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-2/+12
|
* Graph isomorphism checking code.Alan Mishchenko2012-01-291-1/+2
|
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-9/+15
|
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-0/+180
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-271-2/+14
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-271-1/+1
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-241-2/+2
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-231-1/+1
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-3226/+42
|
* Preserving CI/CO varible names when moving between the main space and &-space.Alan Mishchenko2012-01-201-8/+25
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-201-2/+59
|
* New hierarchy manager.Alan Mishchenko2012-01-191-5/+16
|
* Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control ↵Alan Mishchenko2012-01-191-4/+30
| | | | BMC frames and conflicts.
* New hierarchy manager.Alan Mishchenko2012-01-171-1/+72
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-161-2/+120
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-151-6/+4
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-141-3/+6
|
* New hierarchy manager.Alan Mishchenko2012-01-141-2/+8
|
* New hierarchy manager.Alan Mishchenko2012-01-131-0/+2
|
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-111-1/+47
|
* Gate level abstraction.Alan Mishchenko2012-01-081-3/+6
|
* Bug fix: changing output number to 0 in the CEX after ORing POs.Alan Mishchenko2012-01-071-0/+3
|
* Backward reachability using circuit cofactoring.Alan Mishchenko2012-01-011-3/+106
|
* Delay optimization using precomputed library.Alan Mishchenko2011-12-291-30/+100
|
* New variable-time frame abstraction.Alan Mishchenko2011-12-291-8/+6
|
* Added switch -n to 'miter' to ignore PI/PO names.Alan Mishchenko2011-12-221-3/+15
|
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-1/+2
|
* Adding switch '-W' to fx to control the quality of extracted divisors.Alan Mishchenko2011-12-151-4/+16
|
* Started SAT-based reparameterization.Alan Mishchenko2011-12-131-2/+3
|
* Added command &read_blif to read hierarchical BLIF directly into the &-space.Alan Mishchenko2011-12-121-0/+71
|
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-081-3/+8
|
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-13/+12
|
* Started experiments with a new solver.Alan Mishchenko2011-11-251-6/+12
|
* Making GLA PBA and GLA CBA communicate information.Alan Mishchenko2011-11-221-7/+6
|
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-121-2/+7
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 06:44:52 +0000