aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
Commit message (Collapse)AuthorAgeFilesLines
...
* | Consistent log message, ignore 's' extensionEddie Hung2019-11-201-2/+3
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-11-199-33/+260
|\|
| * Add check for valid macro names in macro definitionsClifford Wolf2019-11-071-7/+11
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Improve naming scheme for (VHDL) modules imported from VerificClifford Wolf2019-10-241-3/+26
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "verific -L"Clifford Wolf2019-10-241-1/+12
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add "verilog_defines -list" and "verilog_defines -reset"Clifford Wolf2019-10-211-0/+16
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Fix handling of "restrict" in Verific front-endClifford Wolf2019-10-211-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Fix parsing of .cname BLIF statementsClifford Wolf2019-10-161-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Add .blackbox support to blif front-endClifford Wolf2019-10-161-0/+6
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Use "(id)" instead of "id" for types as temporary hackClifford Wolf2019-10-145-20/+187
| |\ | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * frontends/ast: code styleDavid Shah2019-10-031-2/+1
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Fix typedefs in blocksDavid Shah2019-10-031-2/+2
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Disambiguate interface portsDavid Shah2019-10-031-3/+19
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Fix memories of typedefsDavid Shah2019-10-031-1/+1
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Add %expectDavid Shah2019-10-031-0/+1
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Add support for memories of a typedefDavid Shah2019-10-031-6/+20
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Add support for memory typedefsDavid Shah2019-10-032-3/+34
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Fix typedefs in packagesDavid Shah2019-10-031-4/+10
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Fix typedef parametersDavid Shah2019-10-032-6/+48
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| | * sv: Switch parser to glr, prep for typedefDavid Shah2019-10-035-11/+89
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-081-2/+6
|\| |
| * | Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9Eddie Hung2019-10-081-4/+4
| |\ \ | | | | | | | | Rename abc_* names/attributes to more precisely be abc9_*
| * | | Fixes for MSVC buildMiodrag Milanovic2019-10-041-2/+6
| | | |
* | | | Fix merge issuesEddie Hung2019-10-041-1/+1
| | | |
* | | | Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dffEddie Hung2019-10-041-4/+4
|\ \ \ \ | | |/ / | |/| |
| * | | Rename abc_* names/attributes to more precisely be abc9_*Eddie Hung2019-10-041-4/+4
| |/ /
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-10-033-35/+61
|\| |
| * | Merge pull request #1419 from YosysHQ/eddie/lazy_deriveClifford Wolf2019-10-032-35/+59
| |\ \ | | |/ | |/| module->derive() to be lazy and not touch ast if already derived
| | * Fix for svinterfacesEddie Hung2019-09-301-2/+8
| | |
| | * module->derive() to be lazy and not touch ast if already derivedEddie Hung2019-09-302-33/+51
| | |
| * | Define environ, fixes #1424Miodrag Milanovic2019-10-011-0/+2
| |/
* | Cleanup $currQ from aigerparseEddie Hung2019-09-301-2/+0
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-303-2/+597
|\|
| * Merge pull request #1406 from whitequark/connect_rpcwhitequark2019-09-302-0/+591
| |\ | | | | | | rpc: new frontend
| | * rpc: new frontend.whitequark2019-09-302-0/+591
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A new pass, connect_rpc, allows any HDL frontend that can read/write JSON from/to stdin/stdout or an unix socket or a named pipe to participate in elaboration as a first class citizen, such that any other HDL supported by Yosys directly or indirectly can transparently instantiate modules handled by this frontend. Recognizing that many HDL frontends emit Verilog, it allows the RPC frontend to direct Yosys to process the result of instantiation via any built-in Yosys frontend. The resulting RTLIL is then hygienically integrated into the overall design.
| * | Merge pull request #1416 from YosysHQ/mmicko/frontend_binary_inMiodrag Milanović2019-09-301-2/+6
| |\ \ | | | | | | | | Open aig frontend as binary file
| | * | Fix reading aig files on windowsMiodrag Milanovic2019-09-291-1/+5
| | | |
| | * | Open aig frontend as binary fileMiodrag Milanovic2019-09-291-1/+1
| | |/
* | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-291-2/+2
|\| |
| * | Force $inout.out ports to begin with '$' to indicate internalEddie Hung2019-09-231-2/+2
| |/
* | Big rework; flop info now mostly in cells_sim.vEddie Hung2019-09-281-6/+13
| |
* | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-09-275-35/+73
|\|
| * Fix handling of read_verilog config in AstModule::reprocess_module(), fixes ↵Clifford Wolf2019-09-202-18/+30
| | | | | | | | | | | | #1360 Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxextEddie Hung2019-09-181-1/+1
| |\ | | | | | | peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells
| | * Revert "parse_xaiger() to do "clean -purge""Eddie Hung2019-09-041-1/+1
| | | | | | | | | | | | This reverts commit 5d16bf831688ff665b0ec2abd6835b71320b2db5.
| * | Fix handling of range selects on loop variables, fixes #1372Clifford Wolf2019-09-161-2/+9
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Fix handling of z_digit "?" and fix optimization of cmp with "z"Clifford Wolf2019-09-131-5/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Fix lexing of integer literals without radixClifford Wolf2019-09-131-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Fix lexing of integer literals, fixes #1364Clifford Wolf2019-09-122-3/+3
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Merge pull request #1312 from YosysHQ/xaig_arrivalEddie Hung2019-09-051-14/+25
| |\ \ | | | | | | | | Allow arrival times of sequential outputs to be specified to abc9
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 04:05:28 +0000