Next: Index
Up: Kiwi kiwic Compiler Users'
Previous: General Orangepath Facilities
Contents
Index
- -conerefine disable
- Overview Summary
- -default-pause-mode
- Hard and Soft Clock
- -finish
- FAQ
- -no-cone-refine
- Cone Refine
- -repack disable
- Overview Summary
- -sim-gates
- Simulation Control Command Line
- -sim-rtl
- Simulation Control Command Line
- A* Live Path Interface Synthesiser
- A* Live Path Interface
- Asyncronous Logic Synthesiser
- Asynchronous Logic Synthesiser
- Auto pause control
- Hard and Soft Clock
- Becontrol
- HPR Command Line Flags
- Bitvector I/O
- Input and Output Ports
- Bitwise I/O
- Input and Output Ports
- Blockb pause control
- Hard and Soft Clock
- CAMHDL
- Other output formats
- CIL
- Kiwic Internal Operation
- Cil-uwind-budget
- Loop NoUnroll Manual Control
- ClockDom (attribute)
- Clock Domains
- Cone refine
- Cone Refine
- diogif
- Simulation Control Command Line
- diosim:traceon
- Diosim Simulator
- Dpath
- HPR Command Line Flags
- Early arg -give-backtrace
- HPR Command Line Flags
- Early arg -loglevel
- HPR Command Line Flags
- Early arg -recipe
- HPR Command Line Flags
- Early arg -verbose
- HPR Command Line Flags
- Early args
- Background: HPR Library and
- Elaborate
- Elaborate/Subsume Manual Control
- Espresso
- Espresso
- Fecontrol (elab)
- Elaborate/Subsume Manual Control
- finish
- HPR Command Line Flags
- Fsmgen (
-resets none)
- HPR Command Line Flags
- Fsmgen (
-resets asynchronous)
- HPR Command Line Flags
- gatelib
- Other output formats
- Generate-nondet-monitors
- Bevelab: Synchronous FSM Synthesiser
- GLOBALS
- HPR Command Line Flags
- Hard pause control
- Hard and Soft Clock
- Hardware Server
- Hardware Server
- help
- General Command Line Flags
- hpr_exit
- Diosim Simulator
- HwWidth (attribute)
- Register Widths and Wrapping
- Ifshare
- HPR Command Line Flags
- Initiator
- HPR Command Line Flags
- Intel Hex
- Output Formats
- Kiwi
- Kiwic Internal Operation
- Kiwi.Elaborate
- Elaborate/Subsume Manual Control
- Kiwi.NoUnroll
- Loop NoUnroll Manual Control
- Kiwi.Subsume
- Elaborate/Subsume Manual Control
- Kiwi.Unroll
- Loop NoUnroll Manual Control
- kiwic
- Kiwic Internal Operation
- logging
- HPR Command Line Flags
- Loop unwind
- Loop NoUnroll Manual Control
| HPR Command Line Flags
- Maximal pause control
- Hard and Soft Clock
- Monitor
- HPR Command Line Flags
- NeverReached assertion
- Flag Unreachable Code
- Nosubexps
- HPR Command Line Flags
- NoUnroll
- Loop NoUnroll Manual Control
- nuSMV
- Other output formats
- Offchip
- Offchip or Output Memory
- Onehot
- Bevelab: Synchronous FSM Synthesiser
- opentrace
- General Command Line Flags
- Outboard
- Offchip or Output Memory
- Output Formats
- Output Formats
- plot
- Simulation Control Command Line
- Preserve-sequencer (synthcontrol)
- Bevelab: Synchronous FSM Synthesiser
- PSL
- PSL Synthesiser
- Re-structure
- Restructure Synthesiser
- Remote (attribute)
- Remote
- render-root
- HPR Command Line Flags
- Resets:asynchronous (synthcontrol)
- Bevelab: Synchronous FSM Synthesiser
- Resets:none (synthcontrol)
- Bevelab: Synchronous FSM Synthesiser
- Resets:synchronous (synthcontrol)
- Bevelab: Synchronous FSM Synthesiser
- restructure
- HPR Command Line Flags
- Restructurer
- Restructure Synthesiser
- root
- HPR Command Line Flags
- rootmodname
- HPR Command Line Flags
- rwtrace
- General Command Line Flags
- SAT-based Logic Synthesiser
- SAT-based Logic Synthesiser
- Server (attribute)
- Hardware Server
- SetPauseControl
- Hard and Soft Clock
- sim
- Simulation Control Command Line
- Simulation time
- Accessing Simulation Time
- SMV
- Other output formats
- Soft pause control
- Hard and Soft Clock
- SSMG
- SSMG Synthesiser
- Statecharts
- Statechart Synthesiser
- Structural hazard
- Restructure Synthesiser
- Subsume
- Elaborate/Subsume Manual Control
- Syncronous FSM Synthesiser
- Bevelab: Synchronous FSM Synthesiser
- Synthcontrol
- Bevelab: Synchronous FSM Synthesiser
- Synthcontrol (-array-scalarise all)
- HPR Command Line Flags
- Synthcontrol (cone-refine-keep)
- HPR Command Line Flags
- Synthcontrol (preserve-sequencer)
- HPR Command Line Flags
- Synthcontrol (sequencer=unpacked)
- HPR Command Line Flags
- Synthesis Engines
- Orangepath Synthesis Engines
- sysc
- Other output formats
- SystemC
- Output Formats
| Other output formats
- Target
- HPR Command Line Flags
- time
- Accessing Simulation Time
- title
- Simulation Control Command Line
- tnow
- Accessing Simulation Time
- traces
- Simulation Control Command Line
- Transactor Synthesiser
- Transactor Synthesiser
- Ubudget
- Loop NoUnroll Manual Control
| HPR Command Line Flags
- ucode
- Other output formats
- Unroll
- Loop NoUnroll Manual Control
- Verbose
- HPR Command Line Flags
- Verbose2
- HPR Command Line Flags
- version
- General Command Line Flags
- vnl
- Other output formats
- Width (register)
- Register Widths and Wrapping
- Wrapping
- Register Widths and Wrapping
- Xtor
- HPR Command Line Flags
David Greaves
2011-03-31