summaryrefslogtreecommitdiffstats
path: root/src/base/wlc
Commit message (Collapse)AuthorAgeFilesLines
* Removing duplicated command.Alan Mishchenko2022-04-261-1/+1
|
* Experiments with word-level data structures.Alan Mishchenko2022-03-051-1/+1
|
* Interleaved variable ordering during bit-blasting.Alan Mishchenko2022-02-252-3/+60
|
* Experiments with word-level data structures.Alan Mishchenko2022-02-161-220/+0
|
* Experiments with word-level data structures.Alan Mishchenko2022-02-021-5/+15
|
* Suggested bug fixes in the old code.Alan Mishchenko2022-01-211-1/+1
|
* Experiments with word-level data structures.Alan Mishchenko2022-01-211-126/+210
|
* Adding new command &icec.Alan Mishchenko2021-12-171-5/+10
|
* Adding new command %yosys.Alan Mishchenko2021-12-161-0/+120
|
* Bug fix in blasting word-level flops.Alan Mishchenko2021-12-021-3/+3
|
* Bug fix in processing NDR.Alan Mishchenko2021-11-082-3/+8
|
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-4/+4
|
* Compiler warnings.Alan Mishchenko2021-08-231-1/+1
|
* Add comment to Wlc_NtkGetInv about vNamesIn's roleTobias Wiersema2021-08-191-0/+2
|
* Fix typo inifity -> infinity in inv_get helpTobias Wiersema2021-08-191-1/+1
|
* Add inv_get -f to read flop names from GIATobias Wiersema2021-08-192-8/+40
|
* Supporting simple operators in NDR.Alan Mishchenko2021-08-051-2/+2
|
* Allow retiming to skip some logic.Alan Mishchenko2021-07-311-5/+10
|
* Experimental simulation commands.Alan Mishchenko2021-07-252-65/+278
|
* Command to move CI/CO names.Alan Mishchenko2021-07-161-6/+172
|
* Several unrelated changes.Alan Mishchenko2021-07-151-0/+67
|
* Command &iwls21test for evaluating the results of 2021 IWLS Contest.Alan Mishchenko2021-03-281-0/+92
|
* Added switch -y to control blasting divide-by-zero condition.Alan Mishchenko2020-11-293-3/+9
|
* Fix a bug in comb loop detection.Alan Mishchenko2020-04-221-6/+10
|
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-2/+2
|
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-173-4/+4
|
* Debugging a combo loop in NDR.Alan Mishchenko2020-04-091-2/+3
|
* Assertion failure in reading NDR.Alan Mishchenko2020-02-201-1/+2
|
* Bug fix in printing truth table in Verilog.Alan Mishchenko2019-11-201-1/+11
|
* Enable blasting LUTs in NDR.Alan Mishchenko2019-11-185-0/+49
|
* Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, ↵Alan Mishchenko2019-10-053-3/+40
| | | | p. 452)
* Fixing performance bug (too many partial products) in blasting signed Booth ↵Alan Mishchenko2019-09-191-10/+13
| | | | multiplier.
* Adding switch to suppress printing simple objects in %retime.Alan Mishchenko2019-08-141-5/+10
|
* Fixing some update gcc.Alan Mishchenko2019-07-241-1/+1
|
* Fix index of delay tables created by %blast.Alan Mishchenko2019-04-161-2/+2
|
* Adding miter construction with one bit-level output for each pair of ↵Alan Mishchenko2019-04-143-13/+51
| | | | word-level outputs.
* Supporting LUT in NDR and WLC.Alan Mishchenko2019-04-054-3/+13
|
* Recognizing async reset in blasting (the case of constant 0 driver).Alan Mishchenko2019-04-021-2/+18
|
* Recognizing async reset in blasting.Alan Mishchenko2019-03-266-1/+69
|
* Adding support for LUT primitive in NDR.Alan Mishchenko2019-03-201-1/+1
|
* Adding support for LUT primitive in NDR.Alan Mishchenko2019-03-202-1/+3
|
* Bug in handling reverse ranges in blasting.Alan Mishchenko2019-03-041-14/+15
|
* Bug fix in generating box library.Alan Mishchenko2019-02-041-2/+2
|
* Compiler warning.Alan Mishchenko2019-02-011-1/+1
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-276-11/+492
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-222-2/+2
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-228-24/+100
|
* Fixing flop names with reversed ranges.Alan Mishchenko2019-01-211-14/+16
|
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-214-5/+34
|
* Undoing some recent changes for improved CEX writing.Alan Mishchenko2019-01-212-98/+3
|