summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlc.h
Commit message (Expand)AuthorAgeFilesLines
* Added switch -y to control blasting divide-by-zero condition.Alan Mishchenko2020-11-291-0/+2
* Enable blasting LUTs in NDR.Alan Mishchenko2019-11-181-0/+1
* Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p...Alan Mishchenko2019-10-051-0/+1
* Adding miter construction with one bit-level output for each pair of word-lev...Alan Mishchenko2019-04-141-0/+2
* Supporting LUT in NDR and WLC.Alan Mishchenko2019-04-051-0/+1
* Recognizing async reset in blasting.Alan Mishchenko2019-03-261-0/+2
* Experiments with memory abstraction.Alan Mishchenko2019-01-271-0/+6
* Experiments with memory abstraction.Alan Mishchenko2019-01-221-1/+2
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-211-0/+1
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-091-0/+1
* Support for flops with complex controls.Alan Mishchenko2018-09-221-0/+4
* Supporting the decoder primitive in NDR and bit-blasting.Alan Mishchenko2018-06-051-1/+2
* Exposing a switch to generate carry-lookahead adder during bit-blasting.Alan Mishchenko2018-06-051-0/+2
* Supporting NMUX and SEL in NDR.Alan Mishchenko2018-05-241-0/+1
* Updates to NDR format (flops, memories, signed mult, etc).Alan Mishchenko2018-04-291-3/+6
* Memory abstraction.Alan Mishchenko2018-04-201-1/+1
* Memory abstraction.Alan Mishchenko2018-04-191-0/+1
* Memory abstraction.Alan Mishchenko2018-04-151-1/+9
* Extending primitives supported by WLC.Alan Mishchenko2018-03-031-1/+3
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-281-1/+36
* Fixing input swapping issue in MUXes derived from NDR.Alan Mishchenko2018-02-071-0/+2
* Adding support of reading and writing designs using a new internal format.Alan Mishchenko2018-01-281-0/+3
* Adding new type of MUX blasting.Alan Mishchenko2017-07-071-1/+1
* mergeYen-Sheng Ho2017-06-061-1/+1
|\
| * Adding switch %blast -d to dump dual-output miter after blasting.Alan Mishchenko2017-04-291-1/+1
* | %pdra: added an option for disabling incremental solvingYen-Sheng Ho2017-04-161-0/+1
|/
* %pdra: added top level callbacksYen-Sheng Ho2017-04-091-0/+2
* %pdra: added an option -t for disabling trace reuseYen-Sheng Ho2017-03-311-0/+1
* %pdra: added an option -sYen-Sheng Ho2017-03-281-0/+4
* %pdra: added a procedure to shrink abstractionYen-Sheng Ho2017-03-271-0/+1
* %pdra: working on bmc3Yen-Sheng Ho2017-03-191-0/+23
* %pdra: working on bmc3Yen-Sheng Ho2017-03-181-0/+1
* New word-level transformation.Alan Mishchenko2017-03-171-1/+2
* %pdra: added an option -i for weaker proof-based refinementYen-Sheng Ho2017-03-091-0/+1
* %pdra, %abs: added option -d for apple-to-apple comparisonYen-Sheng Ho2017-03-091-0/+1
* %pdra: added an option -u for checking comb. unsatYen-Sheng Ho2017-03-011-0/+1
* added an option -r to %pdra: proof-based refinement onlyYen-Sheng Ho2017-02-281-4/+5
* %pdra -L: now applies to all typesYen-Sheng Ho2017-02-271-1/+1
* added an option -L to %pdra for limiting the number of muxesYen-Sheng Ho2017-02-261-0/+1
* added an option -b to %pdraYen-Sheng Ho2017-02-251-0/+2
* added %pdra -a: run with pdr -nctYen-Sheng Ho2017-02-231-0/+1
* added an option -m for %pdraYen-Sheng Ho2017-02-221-0/+1
* clean upYen-Sheng Ho2017-02-211-17/+1
* added options of checking and pushing to %pdraYen-Sheng Ho2017-02-201-0/+2
* added datastructure for %pdra optionsYen-Sheng Ho2017-02-201-1/+17
* working on pdr with wlaYen-Sheng Ho2017-02-191-0/+1
* Word-level abstraction engine.Alan Mishchenko2017-02-151-8/+17
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+2
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+14
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 19:52:57 +0000