User guide

C-3
Compile-Time Options
• Options for 64-bit Compilation
• Options for Debugging
• Options for Finding Race Conditions
• Options for Starting Simulation Right After Compilation
• Options for Compiling OpenVera Assertions (OVA)
• Options for Compiling For Simulation With Vera
• Options for Compiling For Coverage Metrics
• Options for Discovery Visual Environment and UCLI
• Options for Converting VCD and VPD Files
• Options for Specifying Delays
• Options for Compiling an SDF File
• Options for Profiling Your Design
• Options for File Containing Source File Names and Options
• Options for Compiling Runtime Options into the simv Executable
• Options for Pulse Filtering
• Options for PLI Applications
• Options to Enable and Disable Specify Blocks and Timing Checks
• Options to Enable the VCS DirectC Interface
• Options for Negative Timing Checks
• Options for Flushing Certain Output Text File Buffers
• Options for Simulating SWIFT VMC Models and SmartModels