Manuals / Xilinx / Marine Equipment / Life Jacket

Xilinx 8.2i manual Design Verification, 7Three Verification Methods of the Design Flow FPGAs

Models: 8.2i

1 422

Download 422 pages 26.35 Kb

Page 41

Image 41

Design Verification

Design verification procedures should occur throughout your design process, as shown in the following figures.

Simulation
Input Stimulus		Basic Design Flow
		Basic Design Flow
	Integrated Tool	Design Entry
Simulation		Design Entry
	Functional Simulator
	Paths
Simulation Netlist	Translate to	NGD
Simulation Netlist	Simulator Format	NGD
	Simulator Format
Translate to		Mapping, Placement
Simulator Format		Mapping, Placement
Simulator Format		and Routing
		and Routing
Timing Simulation Path			Static Timing
Timing Simulation Path
	Translation	NCD	Static Timing Analysis
		BitGen
			In-Circuit Verification
	Back-Annotation
		BIT	In-Circuit Verification
	NGA
		Xilinx FPGA
			X9556

Figure 2-7:Three Verification Methods of the Design Flow (FPGAs)

Development System Reference Guide

www.xilinx.com

Page 41

Image 41

Xilinx 8.2i manual Design Verification, 7Three Verification Methods of the Design Flow FPGAs

Contents

Development System Reference Guide Development System Reference Guide About This Guide Guide ContentsPreface About This Guide Typographical Additional ResourcesConventions Preface About This Guide Convention Meaning or Use Example Online DocumentAllow block blockname Loc1 loc2 ... locnTable of Contents Tcl PARTGen MAP Logical Design Rule CheckNGDBuild PAR Physical Design Rule CheckDevelopment System Reference Guide PIN2UCF XPowerTrace Output Files TraceBitGen SpeedprintBSDLAnno IBISWriter PROMGenTAEngine CPLDfitTsim NetGen Hprep6Development System Reference Guide Xflow EDIF2NGD, and NGDBuild Data2MEMIntroduction Command Line Program Overview1Command Line Programs in the Design Flow Design Flow Step Command Line Options Command Line SyntaxExecute Commands File IntroductionHelp Command Line OptionsSymbol Description Intstyle Integration Style Introduction Symbol DescriptionProgramname -harchitecturename Programname -h filenamePart Number 2Part Number Examples SpecificationIntroduction 2Part Number Examples Specification Invoking Command Line ProgramsDesign Flow Overview Design FlowXilinx Design Flow Design Flow2Xilinx Software Design Flow FPGAs Design Flow Overview3Xilinx Software Design Flow CPLDs Design Entry and Synthesis Design Entry and SynthesisHierarchical Design Core Generator Tool FPGAs Only Schematic Entry OverviewLibrary Elements Functional Simulation HDL Entry and SynthesisConstraints Mapping Constraints FPGAs OnlyTiming Specifications Block PlacementDesign Implementation Netlist Translation Programs5Design Implementation Flow FPGAs Design Implementation6Design Implementation Flow CPLDs Bitstream Generation FPGAs Only Mapping FPGAs OnlyPlacing and Routing FPGAs Only 1Verification Tools Verification Type Design Verification7Three Verification Methods of the Design Flow FPGAs Design VerificationBack-Annotation Simulation9Back-Annotation Flow for FPGAs NetGen Schematic-Based SimulationTiming Simulation HDL-Based Simulation2Five Simulation Points in HDL Design Flow UniSim SimPrim 11Simulation Points for HDL DesignsStatic Timing Analysis FPGAs Only Design Rule Checker FPGAs Only In-Circuit VerificationXilinx Design Download Cables ProbeFpga Design Tips 3Global Clock Resources Fpga Family Number Destination PinsDesign Size and Performance Global Clock Distribution12 Gated Clock Data Feedback and Clock EnableCounters 13Synchronous Design Using Data FeedbackQ0. . . .Q7Q8. . . .Q15 Other Synchronous Design ConsiderationsQ0. . . .Q7 Q8. . . .Q15 Tcl Overview TclXilinx Tcl Shell Accessing HelpTcl Fundamentals Tcl FundamentalsXilinx Namespace Xilinx Tcl Commands1Xilinx Tcl Commands for General Usage Subcommands Project create and manage projects Partition support design preservation Tcl Commands for General Usage2Xilinx Tcl Commands for Advanced Scripting Subcommands Delete delete a partition Tcl Commands for General UsageGet get partition properties Partition delete /stopwatch/Instdcm1Partition new /stopwatch/Instdcm1 New create a new partitionPartition get /stopwatch/Instdcm1 preserve Partition properties Properties list available partition propertiesRerun force partition synthesis and implementation Set set partition preserve property 4Process Tasks Process run and manage project processesRun run process task Project create and manage projects Clean remove system-generated project filesProject clean Get get project properties Close close the ISE projectGetprocesses get project processes Project closeOpen open an ISE project New create a new ISE projectProject getprocesses -instance Instdcm1 Project new watchver.iseProject properties -process all Properties list project propertiesSet set project properties, values, and options Set family set device family Set device set deviceProject set Map Effort Level high Project set device xc2vp2Set speed set device speed Set package set device packageProject set family Virtex2p Project set package fg256Set top set the top-level module/entity Timinganalysis generate timing analysis reportsDelete delete timing analysis Project set speedDisablecpt disable components for path tracing control Disableconstraints disable timing constraintsTiminganalysis enableconstraints Enablecpt enable components for path tracing controlStopwatchtiming TSclk=PERIOD TIMEGROUP\sclk\ Ns High 50.00000%Regsrclk ureg1 ureg2 ureg3 Timinganalysis enablecpt stopwatchtimingGet get analysis property Ascii New new timing analysis Timinganalysis reset stopwatchtiming Reset reset path filters and constraintsRun run analysis Saveas save analysis reportSetconstraint set constraint for custom analysis Set set analysis propertiesTiminganalysis set stopwatchtiming AnalysisspeedPeriod 13 sclk Setendpoints set source and destination endpointsTiminganalysis setconstraint stopwatchtiming Setfilter set filter for analysis Setquery set up net or timegroup reportTiminganalysis setfilter stopwatchtiming nets Exclude uregnet1 uregnet2 uregnet3Xfile manage project files Showsettings generate settings reportAdd add file to project ExampleRemove remove file from project Get get project file propertiesXfile add *.vhd /mysource/mysubdir timing.ucf Xfile get timestamp stopwatch.vhdCollection create and manage a collection Tcl Commands for Advanced ScriptingAppendto add objects to a collection Xfile remove stopwatch.vhdCopy copy a collection Tcl Commands for Advanced ScriptingSet colVar1 search * -type instance Set colVar2 $colVar1Set colVar2 collection copy $colVar1 Equal compare two collectionsSet colVar2 search /top/T* -type instance Collection equal $colVar1 $colVar2Get get collection property Foreach iterate over elements in a collectionProperties list available collection properties Index extract a collection objectSet item collection index $colVar Object name $itemCollection properties Removefrom remove objects from a collectionSet set the property for all collections Sizeof show the number of objects in a collection Object get object informationCollection set displaytype true Collection sizeof $colVarName name of the object Get get object propertiesCollection foreach obj $colVar set objProps Object properties $obj foreach prop $objPropsSet colVar search * -type partition Properties list object propertiesObject name collection index $colVar Object type collection index $colVar Search search and return matching objectsType type of object Search /stopwatch -type instance Project Properties and Options6Project Properties Property Name Description Option Name Synthesis ToolProject Properties and Options NGDBuild Options Option Name Implementation Tool Option Name Implementation Tool Tcl 10 PAR Options Example Tcl Scripts Example Tcl ScriptsSample Tcl Script for General Usage Tcl Sample Tcl Script for Advanced Scripting 100 PARTGen Overview PARTGenPARTGen Syntax Partgen optionsPARTGen Output Files PARTGen Input FilesPARTGen Options Arch Print Information for Specified ArchitecturePARTGen Options Print a List of Devices, Packages, and Speeds PARTGen Options 2s400e Nopkgfile No Package File Creates Package file and Partlist FilesPname Xcv400 Device V400bg432 PartCreates Package and Partlist Files Partlist FileDevice Attributes HeaderPartlist File Part architecture family partname diename packagefilenameSelect RAM PKG File PKG FileDone Logical DRC Overview Logical Design Rule CheckBlock Check Logical DRC ChecksNet Check Pad CheckLogical DRC Checks Clock Buffer CheckName Check Primitive Pin Check 1Checked Primitive Pins NGD Primitive Pins CheckedNGDBuild Overview NGDBuild1NGDBuild Design Flow Converting a Netlist to an NGD FileNGDBuild Input Files NGDBuild SyntaxNGDBuild Syntax Ngdbuild options designname ngdfile.ngd120 NGDBuild Output Files Add PADs to Top-Level Port SignalsNGDBuild Intermediate Files NGDBuild OptionsBm Specify BMM Files Aul Allow Unmatched LOCsDd Destination Directory Ignore UCF FileLibraries to Search InsertkeephierarchyNGDBuild Options SynopsysModular initial Initial Budgeting of Modular Design Modular assemble Module AssemblyModular assemble -pimpath pimdirectorypath Usepimmodulename1 -usepimmodulename2Nt Netlist Translation Type Modular module Active Module ImplementationModular module -active modulename Pimcreate pimdirectory -ncd designnamerouted.ncdAllow Unexpanded Blocks Ignore LOC ConstraintsSd Search Specified Directory Ur Read User Rules File Uc User Constraints FileVerbose Report All Messages Uc ucffile.ucf128 MAP Overview MAPMap options infile.ngd pcffile.pcf MAP SyntaxMAP Input Files MAP Input FilesMAP Output Files 1Map Options and Architectures MAP OptionsPack CLBs Bp Map Slice LogicMAP Options 1Map Options and Architectures CpackfactorDetail Write Out Detailed MAP Report Cm Cover ModeEquivalentregisterremoval Remove Redundant Registers Cm area speed balancedGm incremental Guide Mode incremental Gm Guide ModeGf Guide NCD File Globalopt Global OptimizationIr Do Not Use RLOCs to Generate RPMs Ignorekeephierarchy Ignore Keephierarchy PropertiesIse ISE Project File Map to Input FunctionsOutput File Name No logic replicationOlstdmedhigh Ol Overall Effort LevelNo Register Ordering Pr Pack Registers in I/ORegisterduplication Duplicate Registers Retiming Register Retiming During Global OptimizationTx on off aggressive limit Timing Timing-Driven Packing and PlacementTx Transform Buses Do Not Remove Unused Logic MAP ProcessXe Extra Effort Level MAP ProcessRegister Ordering Data01 Addr02 Atod03 Dtoa04 Register Ordering3Guided Mapping Guided MappingSimulating Map Results Simulating Map Results4Logical Circuit Representation MAP Report MRP File MAP Report MRP File148 Development System Reference Guide 149 Type Block GND Xstgnd IOB 152 Halting MAP Halting MAP154 DRC Overview Physical Design Rule CheckDRC Input File DRC SyntaxDRC Output File DRC OptionsDRC Checks DRC ChecksReport Incomplete Programming DRC Errors and Warnings Place and Route Overview PARPAR Flow Placing PAR ProcessRouting Timing-driven PARPar -k previous.ncd reentrant.ncd pref.pcf Command Line ExamplesPar input.ncd output.ncd Guided PAR Guided PARPCI Cores PAR Input Files PAR SyntaxPAR Output Files PAR SyntaxGeneral Options Function Range Default 1Effort Level Options Function Range DefaultPAR Options Ol value for the routerExistingfile PAR Options 2General Options Function Range DefaultGuide Options Function Range Default Gf Guide NCD File Execute Commands FileDetailed Listing of Options Intstyle Integration Style Gm Guide ModeRe-Entrant Routing PAR OptionsNumber of PAR Iterations Multi-Tasking ModeNopad No Pad Ol Overall Effort LevelPower Power Aware PAR No PlacementPl Placer Effort Level No RoutingStarting Placer Cost Table Number of Results to SaveUb Use Bonded I/Os Overwrite Existing FilesPAR Reports Performance Evaluation ModeXe Extra Effort Level PAR ReportsPlace and Route Report File Development System Reference Guide 175 Ing score in parenthesis Development System Reference Guide 177 Par -n 3 -pl high -rl std address.ncd output.dir Multi Pass Place and Route MpprPlacer effort levelrouter effort levelcost table number Importing the PAD File Information Select I/O Utilization and Usage SummaryGuide Reporting Multi Pass Place and Route MpprXplorer Best Performance ModeXplorer Timing Closure ModeXplorer Syntax Xplorer Output Files Xplorer Input FilesXplorer Options 5Xplorer Options FunctionXplorer 5Xplorer Options Function Xplorer Report184 ReportGen Syntax ReportGenReportGen Input Files ReportGen Output FilesOption Usage Function ReportGen OptionsIsexflowsilent Padfmt padcsvtxtTurns Engine Overview Turns Engine PAR Multi-Tasking OptionTurns Engine PAR Multi-Tasking Option Par -m nodefilename -ol high -n 10 mydesign.ncd output.dirTurns Engine Input Files Turns Engine SyntaxSystem Requirements Turns Engine Output FilesLimitations Turns Engine Environment Variables Rsh machinename DebuggingScreen Output Node Status JOB Time Halting PAR Halting PAR 196 XPower Overview XPowerFiles Used by XPower XPower SyntaxFpga Designs Cpld DesignsVCD Data Entry Using XPowerUsing XPower Other Methods of Data Entry Rename Power ReportLimit Ls List Supported DevicesSpecify VCD file Specify Settings XML Input FileTb Turn On Time Based Reporting Wx Write XML FileStandard Reports Command Line ExamplesPower Reports Advanced Reports Power ReportsDetailed Reports 204 PIN2UCF Overview PIN2UCFPIN2UCF Flow PIN2UCF Input Files PIN2UCF SyntaxPIN2UCF Output Files PIN2UCF SyntaxPIN2UCF Scenarios PIN2UCF OptionsWrite to a Report File Outfile.ucfExisting Pinlock section. 210 Trace Overview TraceTrace Input Files Trace SyntaxTrce options design.ncd constraint.pcf Trce -runmacro.xtm design.ncd constraint.pcfTrace Output Files Trace Output FilesInput files to Trace Trace Options Generate an Error ReportAdvanced Analysis Fastpaths Report Fastest PathsLimit Timing Report Nodatasheet No Data SheetOutput Timing Report File Name Trace OptionsChange Speed Run Run Timing Analyzer MacroSkew Analyze Clock Skew for All Clocks SkewReport Uncovered Paths Stamp Generates Stamp timing model filesStampstampfile design.ncd UlimitGenerate a Verbose Report Trace Command Line ExamplesXml XML Output File Name VlimitTrace Reports Trace ReportsPath Delay Constraints Net Delay ConstraintsTiming Verification with Trace Net Skew Constraints1Path Delay Constraint Terminology Definition Clock Skew and Setup Checking2Clock Skew Example 2Clock Skew and Setup Checking Terminology Terms Definition3Clock Passing Through Multiple Buffers Reporting with Trace 5Error reporting for failed timing constraints Data Sheet Report Development System Reference Guide 227 BSLOT0 D0S Report Legend Guaranteed Setup and Hold ReportingHold Times Setup TimesTrce -o summary.twr ramb16s1.ncd Summary Report Without a Physical Constraints File SpecifiedTrce -o summary1.twr ramb16s1.ncd clkperiod.pcf Development System Reference Guide 233 Trce -e 3 ramb16s1.ncd clkperiod.pcf -o errorreport.twr Development System Reference Guide 235 236 Development System Reference Guide 237 BUFGMUX.I0 Offset Constraints Offset ConstraintsOffset in Path Details Offset in Constraint ExamplesOffset in Header Offset in Detailed Path Data Offset in Detail Path Clock Path Offset In with Phase Shifted ClockDevelopment System Reference Guide 243 Offset OUT Header Offset OUT Constraint ExamplesOffset OUT Detail Clock Path Offset OUT Path DetailsOffset OUT Detail Path Data Period Constraints Examples Period ConstraintsPeriod Header Period ConstraintsPeriod Path Period Path Details Period Constraint with Phase Period Path with Phase Minimum Period Statistics Halting TraceSpeedprint Overview SpeedprintSpeedprint Syntax Specify TemperatureSpeedprint Options Min Display Minimum Speed DataSpeedprint Example Commands Speedprint Example CommandsCommand Description Speedprint Example ReportsLvttl Fast BitGen Overview BitGenLoutfilename.ll Moutfilename.msk Boutfilename.rbt BitGen SyntaxOption Output File BitGen Input Files BitGen Input FilesBitGen Output Files Create Rawbits File BitGen OptionsSet Configuration Bd Update Block RamsBitgen -goptionsetting design.ncd design.bit design.pcf Do Not Run DRCActivateGCLK ActiveReconfigBinary CclkPinCompress ConfigRateDebugBitstream DCIUpdateModeDCMShutdown DONEcycle DisableBandgapDonePin DonePipeEncrypt DriveDoneGclkdel0, Gclkdel1, Gclkdel2, Gclkdel3 GSRcycleGTScycle GWEcycleHswapenPin Key0, Key1, Key2, Key3, Key4, Key5Keyseq0, Keyseq1, Keyseq2, Keyseq3, Keyseq4, Keyseq5 KeyFileLCKcycle M0PinM2Pin M1PinMatchcycle PartialGCLKPartialLeft PartialMask0, PartialMask1, PartialMask2PartialRight PersistProgPin PowerdownPinReadBack SecurityStartCBC SEURepairStartKey StartupClkTdiPin TckPinTdoPin TmsPinUserID No BIT FileUnusedPin Generate a Mask File Create a Logic Allocation FileCreate a Partial Bit File Overwrite Existing Output File276 BSDLAnno Overview BSDLAnnoBSDLAnno Input Files BSDLAnno SyntaxBSDLAnno Output Files BSDLAnno OptionsEntity Declaration BSDLAnno File CompositionGeneric Parameter BSDLAnno File CompositionPackage Pin-Mapping Logical Port DescriptionTAP Description USE StatementScan Port Identification Boundary Register Description Bsdl File Modifications for Single-Ended PinsExplanation Modifications to the Designwarning Section Boundary Scan Behavior in Xilinx DevicesHeader Comments BSDLAnno BSDLAnno version numberPROMGen Overview PROMGenPROMGen Input Files PROMGen SyntaxPROMGen Output Files Promgen optionsPROMGen Options Prom Format Add BIT FIlesLoad Prom File File1.bit file2.bitTemplate File Prom SizeLoad Upward Ver VersionBit Swapping in Prom Files Enable CompressionPROMGen Examples PROMGen Examples292 IBISWriter Overview IBISWriterIbiswriter options infile outfile.ibs IBISWriter SyntaxIBISWriter Output Files IBISWriter Input FilesIBISWriter Options Set Reference VoltageArchitecture Option Value Description Ml Multilingual SupportIBISWriter Options Pin Generate Package Parasitics298 CPLDfit Overview CPLDfitCPLDfit Output Files CPLDfit SyntaxCPLDfit Input Files CPLDfit Options Iostd Specify I/O Standard Inputs Number of Inputs to Use During OptimizationKeepio Prevent Optimization of Unused Inputs Loc Keep Specified Location ConstraintsNogclkopt Disable Global Clock Optimization Nofbnand Disable Use of Foldback NandsNogsropt Disable Global Set/Reset Optimization Nogtsopt Disable Global Output-Enable OptimizationOptimize Optimize Logic for Density or Speed Power Set Power ModeSpecify Xilinx Part Pinfbk Use Pin FeedbackUnused Set Termination Mode of Unused I/Os Terminate Set to Termination ModeSlew Set Slew Rate Wysiwyg Do Not Perform Optimization306 Tsim Syntax TsimTsim Input Files TAEngine Overview TAEngine1TAEngine Design Flow TAEngine SyntaxDetail Detail Report TAEngine OptionsIopath Trace Paths Specify Output Filename312 1Hprep6 Design Flow Hprep6Autosig Automatically Generate Signature Hprep6 SyntaxHprep6 Options Specify Signature Value for Readback Nopullup Disable PullupsProduce ISC File Tmv Specify Test Vector File316 NetGen Overview NetGen1NetGen Output File Types Input Design File NetGenNetGen Functional Simulation Flow NetGen Simulation FlowNetGen Supported Flows NetGen Simulation FlowSyntax for NetGen Functional Simulation NetGen Timing Simulation FlowOutput files for NetGen Functional Simulation Ngcbuildoptions toplevelnetlistfile outputngcfileNetGen Timing Simulation Flow Syntax for NetGen Timing SimulationFpga Timing Simulation Cpld Timing Simulation Output files for Fpga Timing SimulationInput files for Cpld Timing Simulation Output files for Cpld Timing SimulationOptions for NetGen Simulation Flow Module Simulation of Active Module Insertppbuffers Insert Path Pulse BuffersMhf Multiple Hierarchical Files Pcf PCF File Ofmt Output FormatChange Speed Sim Generate Simulation NetlistTm Top Module Name Ti Top Instance NameTp Bring Out Global 3-State Net as Port Insertglbl Insert glbl.v ModulePf Generate PIN File Ne No Name EscapingSdfanno Include $sdfannotate Sdfpath Full Path to SDF FileVHDL-Specific Options for Functional and Timing Simulation Xon Select Output Behavior for Timing Violations NetGen Equivalence Checking FlowNetGen Equivalence Checking Flow Xon truefalseInput files for NetGen Equivalence Checking Syntax for NetGen Equivalence CheckingEcn Equivalence Checking Output files for NetGen Equivalence CheckingOptions for NetGen Equivalence Checking Flow Module Verification of Active Module Fn Control Flattening a NetlistNetGen Static Timing Analysis Flow NetGen Static Timing Analysis FlowNgm Design Correlation File Syntax for NetGen Static Timing Analysis Input files for Static Timing AnalysisOutput files for Static Timing Analysis Aka Write Also-Known-As Names as Comments Options for NetGen Static Timing Analysis Flow336 Sta Generate Static Timing Analysis Netlist Preserving and Writing Hierarchy FilesPreserving and Writing Hierarchy Files Modulename .sim Modulename .ecn Modulename .staHierarchy Information File Dedicated Global Signals in Back-Annotation SimulationTestbench File Dedicated Global Signals in Back-Annotation Simulation Global Signals in Verilog NetlistGlobal Signals in Vhdl Netlist 340 Xflow Overview Xflow1XFLOW Design Flow Xflow SyntaxXflow Input Files Xflow Input FilesXflow Output Files 1XFLOW Output Files FPGAs and CPLDs Xflow Output Files2XFLOW Output Files FPGAs Xflow Flow Types Assemble Module AssemblyXflow Flow Types 3XFLOW Output Files CPLDsConfigoptionfile Config Create a BIT File for FPGAsEcn Create a File for Equivalence Checking 4Option Files for -assemble Flow Type DescriptionFsim Create a File for Functional Simulation Fit Fit a Cpld5Option Files for -ecn Flow Type Description 6Option Files for -fit Flow Type Description7Option Files for -fsim Flow Type Implement Implement an FpgaXflow -p xc2v250fg256-5 -fsim genericverilog.opt testclk.v Implement optionfileXflow Flow Types 8Option Files for -implement Flow Type Initial Initial Budgeting of Modular DesignInitial budget.opt Xflow -p xc2v250fg256-5 -initial budget.opt top.edf9Option Files for -module Flow Type Module Active Module ImplementationModuleoptionfile -activemodulename Sta Create a File for Static Timing Analysis Mppr Multi-Pass Place and Route for FPGAs10Option Files for -mppr Flow Type Description 11Option Files for -sta Flow Type DescriptionSynthoptionfile SynthSynthesis Types Option Files for -synth Flow Types Tsim Create a File for Timing Simulation12Option Files for -synth Flow Type Description Testclk.prj13Option Files for -tsim Flow Type Description Flow FilesFpga Flow File FormatTriggers Flag Enabled DisabledExports ReportsEnd Program programname User Command BlocksOption File Format Xflow Option FilesActive Active Module Xflow OptionsEd Copy Files to Export Directory Specify a Global VariableChange Output File Name Norun Creates a Script File OnlyOoutputfilename Xflow -implement balanced.opt -o newname testclk.edfRd Copy Report Files Pd PIMs DirectoryPdpimdirectory RdreportdirectoryRunning Xflow Using Xflow Flow Types in CombinationWd Specify a Working Directory Running Smart FlowRunning Xflow Using the SCR, BAT, or TCL FileUsing the Xilxflowpath Environment Variable 366 Data2MEM Overview Data2MEMData2MEM Input and Output Files Data2MEM SyntaxBlock RAM Memory Map .bmm files Executable and Linkable Format .elf filesMemory .mem files Debugging Information Format Dwarf .drf filesBit .bit files Verilog .v filesData2MEM Options 1Data2MEM Command Line Options DescriptionVhdl .vhd files UCF .ucf filesData2MEM Options 1Data2MEM Command Line Options Pp filename PartnameName Type Produced By Description Xilinx Development System FilesAppendix MOD Ascii Trace NKY TCL Ascii 378 EDIF2NGD EDIF2NGD, and NGDBuildEDIF2NGD Design Flow EDIF2NGD Input Files EDIF2NGD SyntaxEDIF2NGD Output Files Edif2ngd options ediffile ngofileAul Allow Unmatched LOCs Add PADs to Top-Level Port SignalsEDIF2NGD Options Part Number Libraries to SearchIgnore LOC Constraints LlibnameNGDBuild and the Netlist Readers NGDBuildNGDBuild Bus Matching Netlist Launcher NetlisterBus Naming Conventions Busnameindex DI3Netlist Launcher Netlister User Rules File Netlist Launcher Rules FilesUser Rules and System Rules User Rules FormatDevelopment System Reference Guide 389 Value Types in Key Statements System Rules FileExample 1 Edfrule System Rule Rules File ExamplesExample 3 User Rule Example 2 User RuleNGDBuild File Names and Locations NGDBuild File Names and LocationsExample 4 User Rule 394 Abel GlossaryAsic Block BitstreamBonded Boundary scanCAE BuftCmos CLBContention ConfigurationCombinatorial logic CompilerDaisy chain CpldDangling bus Dangling netDSP DRCEdif EDAFifo EpromFdsd Fpga FmapGate array Global Set/Reset netGlobal buffers Global 3-state netIbuf HDLIFD IeeeJedec LSB MSB NGM NCDPAL PLD PIMRAM PromRTL ROMRPM Set/reset SDF standard delay formatSignal Startup symbolTCL Tsim TraceTTL Vhdl WireVital Xtclsh422