Skip to content

Add support for $_BUF_ cell type in Yosys import. #2832

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Nov 25, 2025
Merged

Add support for $_BUF_ cell type in Yosys import. #2832

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
59babfe
saw-central/Yosys: Specialize functions from MonadIO class to IO.
brianhuffman Nov 18, 2025
ac8c52b
saw-central/Yosys: Reindent and lay out code.
brianhuffman Nov 18, 2025
277a906
saw-central/Yosys: Support "$_BUF_" cell type in yosys import.
brianhuffman Nov 18, 2025
93505e7
intTests: Add regression test for #2828.
brianhuffman Nov 21, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions intTests/test2828/README.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
File `adder_yosys.json` is produced using the directions in the
"Analyzing Hardware Circuits using Yosys" section of the SAW User
Manual.

File `adder_tabby.json` is generated using the following commands in
TabbyCAD:

yosys> read -vhd adder.vhdl
yosys> hierarchy -check -top add4
yosys> write_json adder_tabby.json

TabbyCAD/Verific insert some extra cells of type "$_BUF_" which are
not present in `adder_yosys.json`. This proof script ensures that the
TabbyCAD version can be read and proved equivalent to the plain Yosys
version.
Loading
Loading