Академический Документы
Профессиональный Документы
Культура Документы
RSSI and DCOC digital Ping Chen RFPBU Design Offsite June, 2011
1 1
Specification Simulation Cases/Bench RTL Coding Formal Verification Static Timing Analysis
Maxim Confidential 3
Specification Format
Waveforms
Simulation Test-bench
Randomized Stimulus Gen.
DUT
Test case definitions based on spec. Simulation stimulus (random) Checkers (automation) Fail/Pass assertion to guarantee no
wrong behavior Language: Verilog or SystemVerilog
6
RTL Design
Synthesis
Benefit: Make process migration fast and easy Input: RTL code and .lib library Output: verilog gate netlist, .sdc for Static
Timing Analysis Tools: Synopsys DC or Candece RC Setup time: clock period > path delay + setup time clock skew + 2 x clock jitter Hold time: clock skew > path delay 2 x jitter Scan chain insertion and DFT rules Synopsys DFT Compiler or Mentor Graphics DFT Advisor
8
Formal Verification
Encounter P & R
Benefit: fast Input: verilog gate netlist Input: .lef technology and standard cell files Input: .sdc constrain for timing driven placement Output: .gds, gate netlist for Formal Verification Floor-planning: aspect ratio or rectilinear, input/output pin locations, Placement: pre-placement opt., in-place optimization opt., scan chain re-ordering CTS and routing
11
Back to Virtuoso
Stream-in gds for layout view Import gate verilog for schematic view DRC/LVS clean up by mask engineer Generating .spef for final PT sign-off run PT generating final .sdf for DFT
simulation
12
Summary
Maxim Confidential
14
Acknowledgements
Special thanks to
Joel King Ari Vauhkonen William Yan Alexei Shatalov James Marsh Faye Jun Ricardo Badua Julian Lin
Maxim Confidential 15
Maxim Confidential
16