There are no reviews yet. Be the first to send feedback to the community and the maintainers!
/*/////////////////////////////////////////////////////////////////// //// //// //// Author: Sean Chen //// //// [email protected] //// //// //// //// //// ///////////////////////////////////////////////////////////////////// //// //// //// Copyright (C) 2013 //// //// //// //// This source file may be used and distributed without //// //// restriction provided that this copyright statement is not //// //// removed from the file and that any derivative work contains //// //// the original copyright notice and the associated disclaimer.//// //// //// //// This source file is free software; you can redistribute it //// //// and/or modify it under the terms of the GNU Lesser General //// //// Public License as published by the Free Software Foundation.//// //// //// //// This source is distributed in the hope that it will be //// //// useful, but WITHOUT ANY WARRANTY; without even the implied //// //// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR //// //// PURPOSE. See the GNU Lesser General Public License for more//// //// details. http://www.gnu.org/licenses/lgpl.html //// //// //// ///////////////////////////////////////////////////////////////////*/ AXI BFM standard protocol checker supported read/write phase check normal protocol check (valid/ready) id tag mapping check (addr/data/resp) has the same id transfer read/write check, (only for slave side) like bist check TLM analysis port, user can use it to hook their third part golden design. like SystemC TLM 2.0 port or DPI interface ..., unsupported Qos(priority) region user info cache protect ... atomic check folder ./dpi : SystemVerilog DPI interface ./examples : example ./pli : Verilig PLI interface ./v : Design under test (DUT) ./sv : SystemVerilog UVM class ./log : simulation results ./rpt : simulation rpt How to run the example (1 virtual master to 1 DUT slave) 1. set up your test env 1.1 prepare your DUT and link it to our test env, for example we use 1 Virtual Master to 1 DUT slave check ./v/axi_slave.v # dut slave check ./example/virtual_master_to_dut_slave/dut_dummy.v # link dut to test env check ./example/virtual_master_to_dut_slave/demo_top.sv # top module contains DUT and Tester 1.2 Memory map table, how many Masters/Slaves, Master/Slave connection .... check ./examples/virtual_master_to_dut_slave/demo_conf.sv 1.3 define your test suites in this example, we use 1 read after 1 write to check the memory can read/write supported check ./examples/virtual_master_to_dut_slave/demo_axi_master_seq_lib.sv check ./examples/virtual_master_to_dut_slave/demo_lib.sv check ./examples/virtual_master_to_dut_slave/demo_tb.sv 2. how to run it tools requirement irun > Version 10 python > Version 2.7 python ./run.py
pyvpi_example
use pivpi to drive testbench eventsmtdv
make your verilog DUT test more smartcarCV
carCVvim
UVM/systemverilog/verilog/python VIM IDEremoteChat
remote chat example based on webrtc opencv flask zeroMQscrapy_giant
taiwan stock crawler/analysisxbus
an easy bus verification example based on UVM/SV frameworkremoteCV
remote video process via OpenCV + raspberry pisoc
demo how to use HW/SW co-verificationopenCV_myHDL
build up a co-sim verification env via openCV and myHDLDDE
get the finance data from web or DDE serververi_2_graph
gate level verilog 2 graph viewerfinance
get the finance statistic data from history dataBIST
Pattern Generation for Logic BISTexample_MyHDL
example code for MyHDL projectprofit-analysis
a finance analysis tool for profitsSOC_c_model
hardware emulators in system leveliso_cell
Isolation Cell Insertion for Low Power Designco_syn
co-syn with Google server @ perlXVerilog
DFG synthesispylive555
import live555 lib to pythonSOC_SystemC_model
SOC_SystemC_modelhg_lvl_syn
high level synthesis with SOC3D_pwrIC
3D IC Design Partitioning with Power Considerationiso_cell_rc1
Structural Checking of Voltage-Island and Power Gating Low-Power Logic DesignLove Open Source and this site? Check out how you can help us