summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added switch &srm -A <file> for dumping SRM into a user-specified file.Alan Mishchenko2012-09-021-10/+21
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-09-015-49/+70
* Changes to allow &gla to run with fSimple = 1 (useful for debugging).Alan Mishchenko2012-08-312-6/+7
* Bug fix in the old Liberty parser.Alan Mishchenko2012-08-311-4/+6
* Added several assertions.Alan Mishchenko2012-08-311-0/+3
* Added command 'print_gs' to print gate sizes in the mapping.Alan Mishchenko2012-08-315-7/+141
* Fixing assert which failes when SAT solver returns after a timeout.Alan Mishchenko2012-08-311-0/+2
* Fixing the way constants are written into mapped Verilog files.Alan Mishchenko2012-08-311-0/+5
* Improvements to gate-sizing.Alan Mishchenko2012-08-304-27/+79
* Improvements to gate-sizing.Alan Mishchenko2012-08-301-0/+1
* Improvements to gate-sizing.Alan Mishchenko2012-08-302-10/+16
* Improving print-out in gate-sizing.Alan Mishchenko2012-08-301-2/+3
* Improving print-out in gate-sizing.Alan Mishchenko2012-08-301-4/+4
* Handling constant nodes in gate sizing.Alan Mishchenko2012-08-306-8/+12
* Commenting out debug dump of the library.Alan Mishchenko2012-08-301-1/+1
* Improvements to gate-sizing.Alan Mishchenko2012-08-304-44/+114
* Improvements to gate-sizing.Alan Mishchenko2012-08-305-117/+299
* Compiler warnings.Alan Mishchenko2012-08-291-1/+1
* Compiler warnings.Alan Mishchenko2012-08-296-6/+6
* Forgot to update makefile.Alan Mishchenko2012-08-291-0/+1
* Suppressed warning 'unused-but-set-variable', which is now enabled by -Wall.Alan Mishchenko2012-08-291-1/+1
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-2912-413/+588
* Added an API to convert a multi-output PLA into a shared AIG.Alan Mishchenko2012-08-294-26/+110
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-299-227/+626
* Ensured that SC mapped network is always in a topo order.Alan Mishchenko2012-08-284-29/+50
* Added buffering based on combinational merging.Alan Mishchenko2012-08-2810-18/+376
* Bug fix: abstraction commands not properly updating status when dumping inter...Alan Mishchenko2012-08-286-3/+6
* Added precomputation of TFO ordering for incremental network updates.Alan Mishchenko2012-08-273-0/+118
* Added printout of library cells.Alan Mishchenko2012-08-277-57/+286
* 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-2412-1/+1244
* Added recording history of used commands into file 'abc.history' (Windows only).Alan Mishchenko2012-08-245-28/+62
* 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 's...Alan Mishchenko2012-08-241-1/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 09:31:29 +0000