aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Added "inout" ports support to read_libertyClifford Wolf2014-07-161-1/+6
* Set blackbox attribute in "read_liberty -lib"Clifford Wolf2014-07-161-0/+3
* Fixed spelling of "direction" in read_liberty messagesClifford Wolf2014-07-161-2/+2
* Merged new $mem/$memwr WR_EN interfaceClifford Wolf2014-07-1610-82/+216
|\
| * Changed tests/techmap/mem_simple_4x1_map for new $mem/$memwr WR_EN interfaceClifford Wolf2014-07-161-2/+13
| * improved opt_reduce for $mem/$memwr WR_EN multiplexersClifford Wolf2014-07-161-0/+80
| * changes in verilog frontend for new $mem/$memwr WR_EN interfaceClifford Wolf2014-07-162-7/+6
| * Changes to "memory" pass for new $memwr/$mem WR_EN interfaceClifford Wolf2014-07-163-38/+56
| * Updated simlib to new $mem/$memwr interfaceClifford Wolf2014-07-161-30/+55
| * Changed the $mem/$memwr WR_EN input to a per-data-bit enable signalClifford Wolf2014-07-162-5/+6
|/
* Added note to "make test": use git checkout of iverilogClifford Wolf2014-07-165-5/+15
* Added passing of various options to vhdl2verilogClifford Wolf2014-07-121-5/+36
* Use "verilog -sv" to parse .sv filesClifford Wolf2014-07-111-0/+2
* Fixed processing of initial values for block-local variablesClifford Wolf2014-07-111-0/+5
* now ignore init attributes on non-register wires in sat commandClifford Wolf2014-07-053-4/+43
* fixed parsing of constant with comment between size and valueClifford Wolf2014-07-022-0/+14
* small changes in presentationClifford Wolf2014-07-021-5/+2
* Tiny fix in presentationClifford Wolf2014-06-291-1/+1
* Progress in presentationClifford Wolf2014-06-292-0/+97
* Added links to some liberty files to READMEClifford Wolf2014-06-281-0/+8
* Progress in presentationClifford Wolf2014-06-267-79/+105
* Fixed handling of mixed real/int ternary expressionsClifford Wolf2014-06-252-3/+22
* More found_real-related fixes to AstNode::detectSignWidthWorkerClifford Wolf2014-06-241-6/+6
* Progress in presentationClifford Wolf2014-06-227-42/+503
* Little steps in realmath test benchClifford Wolf2014-06-212-2/+8
* fixed signdness detection for expressions with realsClifford Wolf2014-06-211-2/+8
* fixed typoClifford Wolf2014-06-211-1/+1
* Progress in presentationClifford Wolf2014-06-219-23/+188
* Do not create $dffsr cells with no-op resets in proc_dffClifford Wolf2014-06-191-0/+5
* Added test case for AstNode::MEM2REG_FL_CMPLX_LHSClifford Wolf2014-06-171-0/+12
* Added AstNode::MEM2REG_FL_CMPLX_LHSClifford Wolf2014-06-172-0/+23
* Improved handling of relational op of real valuesClifford Wolf2014-06-172-12/+17
* Little steps in realmath test benchClifford Wolf2014-06-162-0/+3
* Improved ternary support for real valuesClifford Wolf2014-06-161-13/+24
* Use undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012Clifford Wolf2014-06-162-0/+11
* Fixed parsing of TOK_INTEGER (implies TOK_SIGNED)Clifford Wolf2014-06-161-5/+11
* Added found_real feature to AstNode::detectSignWidthClifford Wolf2014-06-162-6/+11
* Added more calls to "hierarchy" to README fileClifford Wolf2014-06-151-3/+8
* Removed long running tests from tests/simple/realexpr.v (replaced by tests/re...Clifford Wolf2014-06-151-55/+0
* Added tests/realmath to "make test"Clifford Wolf2014-06-155-4/+6
* Improved AstNode::realAsConst for large numbersClifford Wolf2014-06-151-1/+1
* Improved realmath test benchClifford Wolf2014-06-152-5/+13
* Improved parsing of large integer constantsClifford Wolf2014-06-151-11/+28
* Improved AstNode::asReal for large integersClifford Wolf2014-06-152-10/+13
* improved realmath test benchClifford Wolf2014-06-141-1/+4
* improved (fixed) conversion of real values to bit vectorsClifford Wolf2014-06-144-11/+30
* progress in realmath test benchClifford Wolf2014-06-142-4/+45
* Fixed relational operators for const real expressionsClifford Wolf2014-06-141-8/+8
* added first draft of real math testcase generatorClifford Wolf2014-06-141-0/+52
* Progress in presentationClifford Wolf2014-06-145-3/+109