Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
Can somebody give some guidance (links to read) on verification plan for a cache architecture? Let it be signal processor cache so that we need not worry much about cache coherence ?
I am working on micro-controller verification where we are using assembly (for processor) and verilog to give stimuls or probe the value.
When somebody asks me about verification test sequence.I come-up with answer that :
1) Chip is power up and power on reset is de-asserted.
2) Reset sequence...
x-propagation happens because of unknown values at the port or any intermediate register. One of the goal of post-layout simulations is to check whether there are any x's propagating even when ports are given Low or High.
I have generated a netlist using Cadence RTL Compiler which introduces cdn_loop_breaker wherever it breaks the combinational loop. Now I am using the formality for formal verification but Formality does not understand these "loop breaks". Do we any option using which Formality will be able to...
I am ungrouping certain hierarchies in my design. I have written a small tcl in RTLC to do so:
Suppose I have a design $Top, having hierarchy as follow:
$Top
- A (Inst name: i_A_inst)
- B (Inst name: i_B_inst)
- C (Inst name: i_C_inst)...
Hello,
We are migrating from DC to RTL Compiler(Cadence). Design engineers have used generate statements exhaustively which were easily understood by DC. But I am wondering how can we utilize same verilog code (with generate statements) in RTL Compiler.
code example...
I am migrating from DC(Synopsys) to RTL Compiler (Cadence) and I am geting "illegal redeclaration. [vlogpt-22]" error as I have been using `include command to ease the simulation .Please let me know any solution so that RTL compiler can work with same HDL code.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.