Skip to content
Merged
Show file tree
Hide file tree
Changes from 24 commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
e1c5046
Separating checker code
behzadmehmood Oct 2, 2024
f81d93e
Merge branch 'main' of github.com:os-fpga/yosys_verific_rs into netli…
behzadmehmood Oct 2, 2024
39e09a7
Merge branch 'main' of github.com:os-fpga/yosys_verific_rs into netli…
behzadmehmood Oct 7, 2024
119f685
Correcting errors
behzadmehmood Oct 7, 2024
e5867b5
Updating check and test for I/O_DELAY controlsignals
behzadmehmood Oct 7, 2024
cf1d7cd
Merge branch 'main' of github.com:os-fpga/yosys_verific_rs into netli…
behzadmehmood Oct 14, 2024
6cad38e
Adding tests for I_DELAY control and data input signals
behzadmehmood Oct 14, 2024
38b3ad0
Adding tests for I_SERDES data ios
behzadmehmood Oct 14, 2024
77f2432
Adding tests for I_SERDES control signals
behzadmehmood Oct 14, 2024
283f45b
Adding tests for O_SERDES data ios
behzadmehmood Oct 14, 2024
5f9d85c
Added tests for O_DELAY data output
behzadmehmood Oct 14, 2024
8b26e21
Adding check for I_DELAY data inputs
behzadmehmood Oct 15, 2024
08b8cb4
Checking O_DELAY outputs
behzadmehmood Oct 15, 2024
56c920e
Adding tests and checks for SERDES control signals
behzadmehmood Oct 15, 2024
bb7ecb2
Adding tests and checks for I_SERDES output and O_SERDES input data s…
behzadmehmood Oct 16, 2024
28c2227
Adding tests ans checks for O_DDR control signals and removing outdat…
behzadmehmood Oct 16, 2024
f8ca6e7
Merge branch 'main' of github.com:os-fpga/yosys_verific_rs into netli…
behzadmehmood Oct 16, 2024
a92d442
Adding tests and checks for I_DDR output and O_DDR input data signal
behzadmehmood Oct 17, 2024
710e3e0
Adding check for I_SERDES data input
behzadmehmood Oct 17, 2024
cc5f23c
Adding check for O_SERDES output data signal
behzadmehmood Oct 17, 2024
07a2e4c
Adding check for I_DDR data input and O_DDR data output
behzadmehmood Oct 17, 2024
74cb1d0
Adding check for O_DELAY data input
behzadmehmood Oct 17, 2024
b9f462d
Adding check for I_DELAY data output
behzadmehmood Oct 17, 2024
b020fb4
Incremented patch version
behzadmehmood Oct 18, 2024
891a4f3
Updating error message for FCLK_BUF input check
behzadmehmood Oct 18, 2024
eb819ab
Merge branch 'netlist_checker' of https://github.com/os-fpga/yosys_ve…
behzadmehmood Oct 18, 2024
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
2 changes: 1 addition & 1 deletion CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ set(VERSION_MINOR 0)



set(VERSION_PATCH 378)
set(VERSION_PATCH 379)



Expand Down
2 changes: 1 addition & 1 deletion design_edit/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ VERILOG_MODULES = $(COMMON)/cells_sim.v \
$(GENESIS3)/FPGA_PRIMITIVES_MODELS/sim_models/verilog/DSP38.v

NAME = design-edit
SOURCES = src/primitives_extractor.cc src/rs_design_edit.cc
SOURCES = src/primitives_extractor.cc src/rs_design_edit.cc src/netlist_checker.cc

OBJS := $(SOURCES:cc=o)

Expand Down
22 changes: 0 additions & 22 deletions design_edit/Tests/GJC-1/GJC-1.ys

This file was deleted.

17 changes: 0 additions & 17 deletions design_edit/Tests/GJC-1/flop2flop.sdc

This file was deleted.

30 changes: 0 additions & 30 deletions design_edit/Tests/GJC-1/flop2flop.v

This file was deleted.

12 changes: 0 additions & 12 deletions design_edit/Tests/GJC-1/gold/flop2flop_post_synth.eblif

This file was deleted.

54 changes: 0 additions & 54 deletions design_edit/Tests/GJC-1/gold/flop2flop_post_synth.v

This file was deleted.

123 changes: 0 additions & 123 deletions design_edit/Tests/GJC-1/gold/io_config.json

This file was deleted.

29 changes: 0 additions & 29 deletions design_edit/Tests/GJC-1/gold/wrapper_flop2flop_post_synth.eblif

This file was deleted.

76 changes: 0 additions & 76 deletions design_edit/Tests/GJC-1/gold/wrapper_flop2flop_post_synth.v

This file was deleted.

Loading