summaryrefslogtreecommitdiffstats
path: root/src/base/wlc
Commit message (Expand)AuthorAgeFilesLines
* 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, p...Alan Mishchenko2019-10-053-3/+40
* Fixing performance bug (too many partial products) in blasting signed Booth m...Alan Mishchenko2019-09-191-10/+13
* 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 word-lev...Alan Mishchenko2019-04-143-13/+51
* 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
* Fixing the problem with outputting word-level CEXes after retiming.Alan Mishchenko2019-01-181-8/+12
* Fixing the problem with outputting word-level CEXes after retiming.Alan Mishchenko2019-01-171-0/+1
* Fixing the problem with outputting word-level CEXes.Alan Mishchenko2019-01-161-1/+24
* Procedure to transform counter-examples (bug fix).Alan Mishchenko2019-01-151-1/+1
* Procedure to transform counter-examples (bug fix).Alan Mishchenko2019-01-151-1/+1
* Procedure to trasnsform counter-examples.Alan Mishchenko2019-01-152-14/+82
* Updated for memory abstraction.Alan Mishchenko2018-12-113-9/+18
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-096-14/+61
* Experiments with retiming.Alan Mishchenko2018-12-062-2/+2
* Experiments with retiming.Alan Mishchenko2018-12-042-8/+43
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-213-4/+4
* Various usability changes.Alan Mishchenko2018-11-184-5/+119
* Several recent bug fixes.Alan Mishchenko2018-11-041-2/+6
* Experiments with word-level retiming.Alan Mishchenko2018-09-301-2/+61
* New way of blasting complex flops.Alan Mishchenko2018-09-251-18/+101
* New way of blasting complex flops.Alan Mishchenko2018-09-241-2/+2
* New way of blasting complex flops.Alan Mishchenko2018-09-241-4/+206
* Support for flops with complex controls.Alan Mishchenko2018-09-225-16/+55
* Adding dump of name mapping after blasting.Alan Mishchenko2018-09-211-4/+34
* Fixing a memory leak.Alan Mishchenko2018-09-191-2/+2
* Expriments with functions.Alan Mishchenko2018-09-161-1/+1
* Supporting unitialized flops in NDR.Alan Mishchenko2018-09-112-2/+3
* Skip non-driven nodes during DFS.Alan Mishchenko2018-08-262-0/+3
* Command %blastmem for bit-blasting small memories.Alan Mishchenko2018-06-164-1/+182
* Bug fix in 'lutpack' (level count overflow).Alan Mishchenko2018-06-161-1/+0
* Extending NDR to support adder/subtractor.Alan Mishchenko2018-06-142-6/+36
* Compiler warnings.Alan Mishchenko2018-06-082-2/+2