Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | New command &stochsyn for stochastic synthesis. | Alan Mishchenko | 2021-10-06 | 1 | -0/+103 | |
| | ||||||
* | Other compiler changes. | Alan Mishchenko | 2021-09-26 | 1 | -0/+7 | |
| | ||||||
* | Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. | Alan Mishchenko | 2021-09-26 | 14 | -20/+20 | |
| | ||||||
* | Two rare corner-case bugs in &if mapper. | Alan Mishchenko | 2021-09-26 | 1 | -1/+5 | |
| | ||||||
* | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 1 | -6/+11 | |
| | ||||||
* | Adding command &reshape. | Alan Mishchenko | 2021-09-21 | 2 | -21/+63 | |
| | ||||||
* | Removing unused command. | Alan Mishchenko | 2021-09-21 | 2 | -157/+0 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-21 | 3 | -13/+23 | |
| | ||||||
* | Improving MiniAIG and name manager. | Alan Mishchenko | 2021-09-16 | 1 | -1/+1 | |
| | ||||||
* | Further debugging of MiniLUT APIs. | Alan Mishchenko | 2021-09-16 | 1 | -0/+1 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-14 | 1 | -9/+16 | |
| | ||||||
* | Enable command 'pipe' for pipelining. | Alan Mishchenko | 2021-09-13 | 3 | -15/+15 | |
| | ||||||
* | Disabling command print_mint when CUDD is not used. | Alan Mishchenko | 2021-09-07 | 1 | -0/+7 | |
| | ||||||
* | Bug fix in the timing manager. | Alan Mishchenko | 2021-09-06 | 1 | -28/+30 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-04 | 2 | -2/+2 | |
| | ||||||
* | Additional MiniLUT API. | Alan Mishchenko | 2021-09-03 | 1 | -0/+1 | |
| | ||||||
* | Various changes. | Alan Mishchenko | 2021-09-02 | 3 | -7/+278 | |
| | ||||||
* | Allow &mfs to work on sequential AIGs. | Alan Mishchenko | 2021-08-24 | 1 | -1/+10 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 5 | -5/+7 | |
| | ||||||
* | Adding input/output/flop name reading in command &r. | Alan Mishchenko | 2021-08-22 | 1 | -0/+39 | |
| | ||||||
* | Support of pair-wise miter and other changes. | Alan Mishchenko | 2021-08-22 | 2 | -4/+21 | |
| | ||||||
* | Merge pull request #133 from twier/inv_get_name_mangling_fix | alanminko | 2021-08-19 | 2 | -9/+43 | |
|\ | | | | | Fix name-mangling behavior of inv_get | |||||
| * | Add comment to Wlc_NtkGetInv about vNamesIn's role | Tobias Wiersema | 2021-08-19 | 1 | -0/+2 | |
| | | ||||||
| * | Fix typo inifity -> infinity in inv_get help | Tobias Wiersema | 2021-08-19 | 1 | -1/+1 | |
| | | ||||||
| * | Add inv_get -f to read flop names from GIA | Tobias Wiersema | 2021-08-19 | 2 | -8/+40 | |
| | | ||||||
* | | Extending &trim to trim structurally equivalent primary outputs. | Alan Mishchenko | 2021-08-19 | 1 | -3/+14 | |
|/ | ||||||
* | Improving AIG to Verilog converter. | Alan Mishchenko | 2021-08-17 | 1 | -3/+8 | |
| | ||||||
* | Suggested changes to collect and pass timing information (unused variable). | Alan Mishchenko | 2021-08-12 | 1 | -1/+1 | |
| | ||||||
* | Suggested changes to collect and pass timing information (compiler issues). | Alan Mishchenko | 2021-08-12 | 1 | -7/+5 | |
| | ||||||
* | Suggested changes to collect and pass timing information. | Alan Mishchenko | 2021-08-12 | 2 | -13/+64 | |
| | ||||||
* | Making &cec support the miter circuit. | Alan Mishchenko | 2021-08-05 | 1 | -0/+14 | |
| | ||||||
* | Supporting simple operators in NDR. | Alan Mishchenko | 2021-08-05 | 2 | -4/+4 | |
| | ||||||
* | Adding node ordering options to command &dfs. | Alan Mishchenko | 2021-08-05 | 1 | -22/+13 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-02 | 1 | -7/+3 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-08-01 | 1 | -1/+2 | |
| | ||||||
* | Allow retiming to skip some logic. | Alan Mishchenko | 2021-07-31 | 4 | -9/+69 | |
| | ||||||
* | Upgrading choice computation. | Alan Mishchenko | 2021-07-31 | 2 | -21/+31 | |
| | ||||||
* | Experiments with cofactoring. | Alan Mishchenko | 2021-07-31 | 1 | -6/+23 | |
| | ||||||
* | Experimental simulation commands. | Alan Mishchenko | 2021-07-25 | 3 | -65/+458 | |
| | ||||||
* | Command to move CI/CO names. | Alan Mishchenko | 2021-07-16 | 1 | -2/+3 | |
| | ||||||
* | Command to move CI/CO names. | Alan Mishchenko | 2021-07-16 | 2 | -6/+235 | |
| | ||||||
* | Several unrelated changes. | Alan Mishchenko | 2021-07-15 | 1 | -0/+67 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-07-13 | 1 | -3/+14 | |
| | ||||||
* | Experiments with CEC. | Alan Mishchenko | 2021-07-10 | 1 | -4/+26 | |
| | ||||||
* | Experiments with MUX decomposition. | Alan Mishchenko | 2021-07-08 | 1 | -1/+55 | |
| | ||||||
* | Adding place holder file for resub experiments. | Alan Mishchenko | 2021-06-24 | 1 | -6/+7 | |
| | ||||||
* | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-06-19 | 2 | -28/+47 | |
| | ||||||
* | Experiments with cut computation. | Alan Mishchenko | 2021-06-05 | 1 | -0/+1 | |
| | ||||||
* | Disabled special handling of 2-input LUTs. | Alan Mishchenko | 2021-06-03 | 1 | -1/+1 | |
| | ||||||
* | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-25 | 2 | -35/+120 | |
| |