Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | 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 | |
| | | ||||||
| * | Adding command &extract. | Alan Mishchenko | 2021-05-18 | 2 | -1/+84 | |
| | | ||||||
| * | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-16 | 6 | -64/+439 | |
| | | ||||||
| * | Adding switch muxes -a to create networks of ADDs. | Alan Mishchenko | 2021-05-15 | 3 | -14/+37 | |
| | | ||||||
| * | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-11 | 1 | -14/+25 | |
| | | ||||||
| * | Disable cube-sort when deriving SOPs. | Alan Mishchenko | 2021-05-11 | 10 | -19/+29 | |
| | | ||||||
| * | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-11 | 2 | -10/+92 | |
| | | ||||||
| * | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-08 | 1 | -2/+3 | |
| | | ||||||
| * | Fixing mismatch in &cec -x which should return undecided rather than ↵ | Alan Mishchenko | 2021-05-08 | 1 | -1/+1 | |
| | | | | | | | | non-equivalent when the miter cannot be reduced to constant 0. | |||||
| * | Experiments with LUT mapping for small functions. | Alan Mishchenko | 2021-05-01 | 2 | -4/+73 | |
| | | ||||||
| * | Making sure read_bench can read nodes up to 15 inputs. | Alan Mishchenko | 2021-04-30 | 2 | -5/+6 | |
| | | ||||||
| * | Several changes for standard mapping. | Alan Mishchenko | 2021-04-28 | 1 | -2/+4 | |
| | | ||||||
| * | Passing node labels. | Alan Mishchenko | 2021-04-26 | 3 | -0/+10 | |
| | | ||||||
| * | Computing sum of PO support sizes. | Alan Mishchenko | 2021-04-09 | 1 | -1/+2 | |
| | | ||||||
| * | An option to extend the number of primary inputs. | Alan Mishchenko | 2021-03-28 | 1 | -2/+32 | |
| | | ||||||
| * | Compiler warnings. | Alan Mishchenko | 2021-03-28 | 1 | -3/+3 | |
| | | ||||||
| * | Command &iwls21test for evaluating the results of 2021 IWLS Contest. | Alan Mishchenko | 2021-03-28 | 2 | -0/+184 | |
| | | ||||||
| * | Adding a random seed to control randomness in 'permute' (correction). | Alan Mishchenko | 2021-03-11 | 1 | -2/+2 | |
| | | ||||||
| * | Adding a random seed to control randomness in 'permute'. | Alan Mishchenko | 2021-03-11 | 1 | -2/+17 | |
| | | ||||||
| * | Preventing command history from being overwritten by internal scripts. | Alan Mishchenko | 2021-01-09 | 4 | -1/+10 | |
| | | ||||||
| * | Compiler warnings. | Alan Mishchenko | 2020-12-21 | 1 | -0/+1 | |
| | | ||||||
| * | Adding solver type in &sat. | Alan Mishchenko | 2020-12-16 | 1 | -2/+14 | |
| | | ||||||
| * | Adding generation of combinational speculative miters. | Alan Mishchenko | 2020-12-16 | 1 | -3/+17 | |
| | | ||||||
| * | Adding switch to replace proved outputs by const0. | Alan Mishchenko | 2020-12-16 | 1 | -5/+9 | |
| | | ||||||
| * | Deriving equivalent nets from proved equivalences. | Alan Mishchenko | 2020-12-09 | 1 | -1/+28 | |
| | | ||||||
| * | Adding timeout to several commands. | Alan Mishchenko | 2020-12-07 | 3 | -19/+52 | |
| | | ||||||
| * | Added switch -y to control blasting divide-by-zero condition. | Alan Mishchenko | 2020-11-29 | 3 | -3/+9 | |
| | | ||||||
| * | Renaming one command. | Alan Mishchenko | 2020-11-23 | 1 | -3/+3 | |
| | | ||||||
| * | Added an option to keep PI/PO names unchanged in 'short_names'. | Alan Mishchenko | 2020-11-22 | 3 | -4/+23 | |
| | |