summaryrefslogtreecommitdiffstats
path: root/src/base/wlc
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 16:49:55 +0000