bsg-idea / bsg_micro_designs Goto Github PK
View Code? Open in Web Editor NEWSections of BaseJump STL converted to Verilog, for testing with open source tools, such as OpenROAD.
License: BSD 3-Clause "New" or "Revised" License
Sections of BaseJump STL converted to Verilog, for testing with open source tools, such as OpenROAD.
License: BSD 3-Clause "New" or "Revised" License
@BrendenPage, @taylor-bsg,
this is the PR that contains the gold.v (BSG original netlist) and dut.v (Surelog/Yosys) pairs. One pair per directory.
chipsalliance/synlig#1601
Please run some verification on each pair and report eventual errors.
Thanks
grep -r bsg_expand_bitmask ./bsg_micro_designs/bsg_cache/bsg_cache_dma/src/
./bsg_micro_designs/bsg_cache/bsg_cache_dma/src/bsg_cache_dma.v: bsg_expand_bitmask #(
./bsg_micro_designs/bsg_cache/bsg_cache_dma/src/bsg_cache_dma.v: bsg_expand_bitmask #(
./bsg_micro_designs/bsg_cache/bsg_cache_dma/src/bsg_cache.v: bsg_expand_bitmask #(
./bsg_micro_designs/bsg_cache/bsg_cache_dma/src/bsg_cache.v: bsg_expand_bitmask #(
./bsg_micro_designs/bsg_cache/bsg_cache_dma/src/bsg_cache.v: bsg_expand_bitmask #(
There is no definition for this module "bsg_expand_bitmask" in the test.
Test: bsg_micro_designs/bsg_dataflow/bsg_sbox/bsg_sbox_num_channels_p_16_channel_width_p_32/top.v
contains a blackbox \bsg_scatter_gather_vec_size_lp16 which render formal verification impossible
4.1.1. Analyzing design hierarchy..
Top module: \top
Used module: \bsg_sbox
Used module: \FDRE
Used module: \INV
Used module: \LUT2
Used module: \LUT6
Used module: \MUXF8
Used module: \MUXF7
Used module: \LUT4
Used module: \LUT3
Used module: \LUT1
Used module: \LUT5
Used module: \IBUF
Used module: \OBUF
Used module: \BUFG
ERROR: Module \bsg_scatter_gather_vec_size_lp16' referenced in module
\bsg_sbox' in cell `\bsg' is not part of the design.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.