Commit Graph

18 Commits

Author SHA1 Message Date
Andrew Lenharth 2e11065461
[VerilogQuality] Remove muxes feeding registers their old value (#965)
When a mux feeds an assign to a register and one branch of the mux is the register's old value, we can turn that into a conditional assign. This results in much cleaner verilog output.
2021-04-27 10:43:52 -05:00
John Demme 26c2da4006 [Verilator] [ESI] Updating install scripts, docs 2021-03-31 18:53:30 -07:00
mikeurbach 9b2331e10f
Add Python bindings for the RTL dialect. (#767) 2021-03-23 20:13:49 -06:00
John Demme 745d65e6cc [ESI] Add missing requirement pycapnp to docs and script
PyCapnp is required for the integration tests but wasn't mentioned or
installed.
2021-03-09 19:56:59 -08:00
John Demme 13af09d1b4 [Integration tests] Verilator 1.102 memory bug caused random DPI fails
A Verilator bug was causing sporadic ESI cosim failures. Upgrading Verilator
fixes it.
2021-03-06 23:10:30 -08:00
Andrew Young e1a5000d1a [CI] Add BUILD_SHARED_LIBS to the pull request builds
BUILD_SHARED_LIBS builds all libraries as shared libraries.
Historically, this has mostly been used as a developer productivity
flag, as it greatly speeds up linking. The real value in testing with
this flag enabled is that it reveals mistakes in CMake library
dependencies, such as missing dependencies and circular dependencies.
Additionally, there has been recent effort to increase the level of
support for shared libraries to enable MLIR C/Python bindings, and
supporting this flag down the line is probably a must.
2021-02-24 02:36:30 -08:00
John Demme 27825a5b11 [Scripts] [build-llvm.sh] Optionally specific the build type 2021-01-26 22:44:21 -08:00
Andrew Lenharth 66aa20d291 Add SAT solver yosys fallback for failed simple solver attempts 2021-01-20 15:58:26 -06:00
John Demme b717f84975 [Integration tests] v3 Docker image includes yosys 2021-01-12 20:51:13 -08:00
Shivam Gupta 4e48b74663
[NFC] Rearrange images in separate folder from docs/ (#386)
* rearrange images in separate folder

* remove images from docs/
2021-01-02 00:48:51 +05:30
Shivam Gupta 9f34d3742b
Add missing LLVM license info to file headers (#352)
* add LLVM license info to files header

* Add LLVM license info to files header

* Add LLVM license info to files header

* Add LLVM license info to file headers

* Revert "Add LLVM license info to files header"

This reverts commit 22869676ad.

* Add LLVM license info to file headers

* run git-clang-format

* add missing file descriptions

* run git clang-format

* Add LLVM license info to file headers

* Add LLVM license info to files header
2020-12-24 23:11:01 +05:30
Andrew Lenharth 3eef7df131
[FIRRTL] yosys equiv checking infrastructure and FIRRTL primatives testcase (#291)
Yosys formal equivalence checking infrastructure.
2020-12-02 14:18:23 -06:00
John Demme 68114369f0
Improves build environment flexibility (#253)
* Adds script to ease local, clean environment testing

* Env change

Co-authored-by: Schuyler Eldridge <schuyler.eldridge@gmail.com>

* Not fully tested, but pushing for testing.

* Use build_llvm.sh script

* Removing the `cd` after MLIR build -- no longer necessary

* Adding ability to specify paths

* Adding cmake headers

Co-authored-by: Schuyler Eldridge <schuyler.eldridge@gmail.com>
2020-11-21 22:08:48 -08:00
John Demme ac8ea5d10c
[LLVM] Creates llvm build script to avoid replication (#267)
Closes #265.
2020-11-20 13:10:49 -08:00
John Demme 37f809c5e9
[ESI] [Cosim DPI] Cap'nProto install and schema generation (#216)
* [ESI] [Cosim DPI] Capn'Proto install and schema generation

This is the second in a series to merge #213. This is the capnp schema
generation component.

* Added header comment.
2020-11-09 11:15:02 -08:00
John Demme 0363e23c95
[EmitVerilog] Lint and simulation integration tests (#198)
* First integration test: lint w/ Verilator

* Running a test simulation.

* Update README

* Editing the README based on feedback.
2020-11-03 16:46:17 -08:00
John Demme dc3b57de7e
Adding Verilator and a basic Verilator unit test (#179) 2020-10-30 13:12:15 -07:00
Fabian Schuiki c4c132ecf4
[README] Add dialect diagram to the docs (#172)
* Add dialects diagram source and renders
* Add script to regenerate the renders
* Add inline dialects overview in the README
2020-10-22 09:42:54 +02:00