next up previous contents index
Next: Index Up: Kiwi kiwic Compiler Users' Previous: General Orangepath Facilities   Contents   Index


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