Equivalence between rtl and synthesized netlist 4

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Combinational loop checking Latch checking Design rule violation checking Testability checking Equivalence checking • Check equivalence between RTL and synthesized netlist 4 Copyright ©2003 All rights reserved Coding Guidelines for Synthesis Scripts • • • • Header Comments Under revision control system No hard-coded numbers and path – Variables used in the body and values set at the top Tian-Sheuan Chang Synthesis Guidelines • As simple as possible • Common comments reside in a single setup file – Library path,search path… • Thorough test of scripts for parameterized soft macros 5 Copyright ©2003 All rights reserved...
View Full Document

This note was uploaded on 08/23/2009 for the course IEE 5016 taught by Professor Tian-sheuanchang during the Spring '05 term at National Chiao Tung University.

Ask a homework question - tutors are online