Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Experiments with CEC. | Alan Mishchenko | 2021-07-10 | 1 | -2/+2 |
| | |||||
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -4/+4 |
| | |||||
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-26 | 1 | -0/+1 |
| | |||||
* | Several changes for standard mapping. | Alan Mishchenko | 2021-04-28 | 1 | -2/+13 |
| | |||||
* | Updating the mapper when user-specific matching is used. | Alan Mishchenko | 2021-01-09 | 1 | -0/+12 |
| | |||||
* | Rare bug fix in mapping with choices. | Alan Mishchenko | 2020-10-29 | 1 | -1/+2 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2020-05-03 | 1 | -1/+0 |
| | |||||
* | Adding dumping of genlib library in Verilog. | Alan Mishchenko | 2020-05-03 | 2 | -30/+30 |
| | |||||
* | Adding dumping of genlib library in Verilog. | Alan Mishchenko | 2020-05-03 | 1 | -1/+1 |
| | |||||
* | Adding dumping of genlib library in Verilog. | Alan Mishchenko | 2020-05-03 | 4 | -7/+110 |
| | |||||
* | Adding dynamic memory alloc for the buffer in Liberty file reader. | Alan Mishchenko | 2020-01-11 | 1 | -3/+9 |
| | |||||
* | Making sure arrival time of constant node is -infinity. | Alan Mishchenko | 2020-01-02 | 1 | -0/+2 |
| | |||||
* | Adding limit on the depth of recursion when counting exact area in 'amap'. | Alan Mishchenko | 2019-10-26 | 3 | -1/+62 |
| | |||||
* | Small bug in the unused code. | Alan Mishchenko | 2019-10-04 | 1 | -1/+1 |
| | |||||
* | Adding switch to &if to consider special type of 6-input cuts. | Alan Mishchenko | 2019-09-26 | 4 | -0/+84 |
| | |||||
* | Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to ↵ | Alan Mishchenko | 2019-09-19 | 1 | -0/+1 |
| | | | | print delay profile. | ||||
* | Fixing some update gcc. | Alan Mishchenko | 2019-07-24 | 1 | -1/+1 |
| | |||||
* | Adding support for user-specified wire delays in &if. | Alan Mishchenko | 2019-05-29 | 1 | -1/+1 |
| | |||||
* | Prevent assertions from firing for deep logic networks. | Alan Mishchenko | 2019-03-20 | 1 | -4/+4 |
| | |||||
* | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵ | Alan Mishchenko | 2019-03-05 | 17 | -26/+26 |
| | | | | memcpy, etc. | ||||
* | Fixing some warnings with -Wconversion. | Alan Mishchenko | 2019-03-05 | 1 | -2/+2 |
| | |||||
* | Fixing float overflow during edge-flow computation in 'if' mapper (change to ↵ | Alan Mishchenko | 2018-12-12 | 1 | -0/+8 |
| | | | | avoid dependence on the order of additions). | ||||
* | Fixing float overflow during edge-flow computation in 'if' mapper. | Alan Mishchenko | 2018-12-12 | 1 | -3/+7 |
| | |||||
* | Adding switch &w -n to modify the comment section of the AIGER file written. | Alan Mishchenko | 2018-11-21 | 1 | -2/+2 |
| | |||||
* | Skip cells in Liberty files which have dont_use attribute. | Alan Mishchenko | 2018-10-18 | 2 | -3/+56 |
| | |||||
* | Suggested bug fix in 'amap'. | Alan Mishchenko | 2018-09-13 | 1 | -0/+3 |
| | |||||
* | Adding parameters and improvements to %blast. | Alan Mishchenko | 2018-02-28 | 2 | -0/+8 |
| | |||||
* | Compilation problem with pow(). | Alan Mishchenko | 2018-02-19 | 1 | -2/+2 |
| | |||||
* | Value of properties can be expression. | Staf Verhaegen | 2018-01-03 | 1 | -0/+12 |
| | | | | | | | | | | | | | | Example found in the 2007.03 Liberty Reference Manual that was also found in the wild: input_voltage(CMOS) { vil : 0.3 * VDD ; vih : 0.7 * VDD ; vimin : -0.5 ; vimax : VDD + 0.5 ; } Current implementation just parses the expression but no interpretation is done. | ||||
* | Adding API to dump MiniAIG into a Verilog file and other small changes. | Alan Mishchenko | 2017-10-22 | 2 | -0/+3 |
| | |||||
* | Fix typo on the message reporting max output load. | Alan Mishchenko | 2017-10-11 | 1 | -1/+1 |
| | |||||
* | Updates and bug fixes. | Alan Mishchenko | 2017-10-04 | 3 | -11/+19 |
| | |||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-24 | 5 | -3/+57 |
| | |||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-20 | 2 | -3/+7 |
| | |||||
* | Maintenance and updates. | Alan Mishchenko | 2017-09-18 | 4 | -0/+56 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-07-22 | 6 | -8/+8 |
| | |||||
* | Synchronizing various data-structures. | Alan Mishchenko | 2017-07-04 | 2 | -7/+162 |
| | |||||
* | Saturating floating point computation. | Alan Mishchenko | 2017-07-01 | 1 | -3/+7 |
| | |||||
* | Saturating floating point computation. | Alan Mishchenko | 2017-06-29 | 1 | -4/+10 |
| | |||||
* | Experiments with new network data-structure. | Alan Mishchenko | 2017-03-20 | 2 | -0/+2 |
| | |||||
* | Experiments with new network data-structure. | Alan Mishchenko | 2017-03-19 | 1 | -1/+1 |
| | |||||
* | stringizing macro argument | Heinz Riener | 2017-03-03 | 1 | -2/+2 |
| | |||||
* | Restoring constraint manager to read old constraint file by default (use ↵ | Alan Mishchenko | 2017-02-25 | 2 | -18/+26 |
| | | | | 'read_constr -n' to read new format). | ||||
* | Corner-case bug-fix in library preprocessor for standard-cell mapping. | Alan Mishchenko | 2017-02-05 | 1 | -2/+2 |
| | |||||
* | Typo. | Alan Mishchenko | 2017-01-31 | 1 | -1/+1 |
| | |||||
* | Bug fixes by Clifford Wolf. | Alan Mishchenko | 2017-01-08 | 1 | -0/+4 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2017-01-07 | 2 | -5/+5 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2016-12-31 | 1 | -3/+3 |
| | |||||
* | Bug fix in Liberty parser. | Alan Mishchenko | 2016-12-05 | 1 | -0/+4 |
| | |||||
* | Equivalent fault detection code. | Alan Mishchenko | 2016-11-09 | 3 | -0/+5 |
| |