summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Added precomputation of TFO ordering for incremental network updates.Alan Mishchenko2012-08-273-0/+118
|
* Added printout of library cells.Alan Mishchenko2012-08-276-57/+282
|
* Improved printout of command history.Alan Mishchenko2012-08-274-2/+31
|
* Added features 'map -M <float>' to control the use of large gates.Alan Mishchenko2012-08-277-23/+76
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-271-8/+8
|
* Bug fix in &gla.Alan Mishchenko2012-08-274-5/+25
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-265-169/+267
|
* Select for mapping smallest-area gates for each functionality.Alan Mishchenko2012-08-261-49/+16
|
* Compiler warnings.Alan Mishchenko2012-08-263-3/+3
|
* Added switch '&gla -m' to dump original miter with the abstraction map.Alan Mishchenko2012-08-263-18/+31
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-256-211/+863
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-251-1/+6
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-252-12/+9
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-254-60/+110
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-253-5/+12
|
* Several improvements to command 'testnpn'.Alan Mishchenko2012-08-253-44/+58
|
* Compiler warnings.Alan Mishchenko2012-08-242-2/+2
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-2410-0/+1215
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-244-28/+61
|
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-246-28/+80
|
* Changed command 'sim' to work with a miter by default (replace 'sim -m' by ↵Alan Mishchenko2012-08-241-1/+1
| | | | 'sim' in verification applications).
* Added simulation of comb circuits with user-specified patterns in command 'sim'.Alan Mishchenko2012-08-248-140/+206
|
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-235-9/+111
|
* Fixing undesirable effect of recent refinement code on older code in &gla -n.Alan Mishchenko2012-08-114-5/+7
|
* Enabling -S <num> for &gla to not check the first <num> frames.Alan Mishchenko2012-08-102-19/+226
|
* Fixing problem with max limit on the number of abstracted objects in &gla.Alan Mishchenko2012-08-102-23/+16
|
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-102-7/+49
|
* Improved abstraction refinement.Alan Mishchenko2012-08-092-2/+5
|
* Improved abstraction refinement.Alan Mishchenko2012-08-094-21/+29
|
* Compiler warnings.Alan Mishchenko2012-08-091-1/+2
|
* Compiler warnings.Alan Mishchenko2012-08-093-17/+18
|
* Compiler warnings.Alan Mishchenko2012-08-093-17/+14
|
* Compiler warnings.Alan Mishchenko2012-08-091-2/+2
|
* Compiler warnings.Alan Mishchenko2012-08-092-2/+2
|
* Improved abstraction refinement.Alan Mishchenko2012-08-094-44/+491
|
* New semi-canonical form computation package.Alan Mishchenko2012-08-081-0/+94
|
* New cut-based refinement.Alan Mishchenko2012-08-081-2/+198
|
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-081-1/+1
|
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-085-93/+259
|
* Fixing an interger overflow problem in constructing the variable interaction ↵Alan Mishchenko2012-08-081-2/+2
| | | | matrix.
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-086-13/+337
|
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-082-11/+32
|
* New semi-canonical form computation package.Alan Mishchenko2012-08-071-1/+1
|
* New semi-canonical form computation package.Alan Mishchenko2012-08-072-2/+127
|
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-2/+2
|
* Scalable gate-level abstraction.Alan Mishchenko2012-08-071-1/+2
|
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-1/+1
|
* Scalable gate-level abstraction.Alan Mishchenko2012-08-061-8/+6
|
* New cut-based refinement.Alan Mishchenko2012-08-063-0/+554
|
* Scalable gate-level abstraction.Alan Mishchenko2012-08-062-0/+9
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 20:36:08 +0000