summaryrefslogtreecommitdiffstats
path: root/src/base
Commit message (Collapse)AuthorAgeFilesLines
...
| * Fix a memset that doesn't zero enough bytes.Jerry James2019-05-081-1/+1
| |
* | Fixing recent change to 'print_stats'.Alan Mishchenko2019-05-111-0/+1
|/
* Modifying 'write_truth' to dump truth table in hex.Alan Mishchenko2019-05-071-3/+11
|
* Adding the possibility to specify file name in 'pdr'.Alan Mishchenko2019-04-221-2/+12
|
* Adding switch &st -s for MUX restructring.Alan Mishchenko2019-04-211-1/+2
|
* Adding switch &st -s for MUX restructring.Alan Mishchenko2019-04-211-2/+15
|
* Improvements to the retiming algorithm.Alan Mishchenko2019-04-181-1/+7
|
* Improvements to the retiming algorithm.Alan Mishchenko2019-04-181-1/+1
|
* Improvements to the retiming algorithm.Alan Mishchenko2019-04-181-22/+63
|
* Adding switch &dch -e to reduce equivalences.Alan Mishchenko2019-04-171-4/+18
|
* Enabling dumping of the library of minimum circuits.Alan Mishchenko2019-04-171-5/+19
|
* Adding new command handler for experimental procedures.Alan Mishchenko2019-04-173-0/+103
|
* Fix naming problem in converting a logic network into a netlist.Alan Mishchenko2019-04-171-1/+4
|
* Fix index of delay tables created by %blast.Alan Mishchenko2019-04-161-2/+2
|
* Adding switch 'read_truth -f <file_name>' to read truth table from file.Alan Mishchenko2019-04-151-9/+22
|
* Adding miter construction with one bit-level output for each pair of ↵Alan Mishchenko2019-04-143-13/+51
| | | | word-level outputs.
* Adding clock enable extraction as command &put -e.Alan Mishchenko2019-04-142-15/+80
|
* Decoupling identical flop-input names in &put.Alan Mishchenko2019-04-101-2/+10
|
* Extending generic simulation APIs.Alan Mishchenko2019-04-091-4/+9
|
* Supporting reset in retiming.Alan Mishchenko2019-04-091-0/+6
|
* Supporting LUT in NDR and WLC.Alan Mishchenko2019-04-056-5/+29
|
* Recognizing async reset in blasting (the case of constant 0 driver).Alan Mishchenko2019-04-021-2/+18
|
* Compiler warning.Alan Mishchenko2019-03-281-1/+0
|
* Extending simulation interface.Alan Mishchenko2019-03-281-4/+9
|
* Adding support for logging in command &gla.Alan Mishchenko2019-03-271-5/+18
|
* Changing print-out in 'dprove' when the miter is combinational.Alan Mishchenko2019-03-271-10/+13
|
* Recognizing async reset in blasting.Alan Mishchenko2019-03-266-1/+69
|
* Add special handling of script-level assertions.Alan Mishchenko2019-03-201-2/+98
|
* 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
|
* Adding new command line args.Alan Mishchenko2019-03-181-0/+3
|
* Adding new command line args.Alan Mishchenko2019-03-131-4/+6
|
* Changing the default delay of buffers driving POs.Alan Mishchenko2019-03-131-1/+3
|
* Updated NPN classification code (compiler warnings).Alan Mishchenko2019-03-121-2/+2
|
* Adding logfile support to several commands.Alan Mishchenko2019-03-121-6/+53
|
* Updated NPN classification code.Alan Mishchenko2019-03-082-10/+10
|
* Updated functional enumation code.Alan Mishchenko2019-03-081-7/+10
|
* Updating canonical form computation procedures.Alan Mishchenko2019-03-052-10/+42
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-0518-33/+33
| | | | memcpy, etc.
* Suggested white-space changes for fewer gcc warnings.Alan Mishchenko2019-03-041-1/+1
|
* Bug in handling reverse ranges in blasting.Alan Mishchenko2019-03-041-14/+15
|
* Adding switch -x to &ps to disable color printout.Alan Mishchenko2019-02-121-4/+9
|
* Add skip feature to CEX printing.Alan Mishchenko2019-02-081-1/+9
|
* Bug fix in generating box library.Alan Mishchenko2019-02-041-2/+2
|
* Compiler warning.Alan Mishchenko2019-02-012-2/+2
|
* Adding new switch to simulation.Alan Mishchenko2019-01-291-21/+26
|
* Adding new switch to simulation.Alan Mishchenko2019-01-291-4/+17
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-278-11/+545
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-221-1/+1
|
* Experiments with memory abstraction.Alan Mishchenko2019-01-223-3/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 18:10:48 +0000