Index

-bevelab-default-pause-mode
Hard and Soft Pause
-conerefine=disable
KiwiC Internal Operation | FAQ and Bugs
-diosim-techno
Simulation Control Command Line
-dotplot-plot=combined
Built-in report writers
-finish
FAQ and Bugs
-kiwic-cil-dump
Using A K-Distro Binary
-kiwic-finish
FAQ and Bugs
-no-cone-refine
Cone Refine
-repack=disable
KiwiC Internal Operation
-root
FAQ and Bugs
-log-dir-name
Output Log and Report
A* Live Path Interface Synthesiser
A* Live Path Interface
abend syndrome fault codes
Debug, Single Step and
abend syndrome register
Debug.Assert or Trace.Assert
Assert
Debug.Assert or Trace.Assert | Elaboration Pragmas - Kiwi.KPragma
assertions
Assertions Debug.Assert()
asynchronous dispatch
Remote Method Performance
Asyncronous Logic Synthesiser
Asynchronous Logic Synthesiser
Auto pause control
Hard and Soft Pause
autodispose
Kiwi Supported Language Subset
AUTOMETA
Kiwi.Remote() Attribute
await keyword
Asynchronous Invokation
AXI
AXI and HFAST-to-AXI mapping | Designing General/Reactive Hardware with
BitConverter
System.BitConverter
Bitvector I/O
Net-level Input and Output | Input and Output Ports
Bitwise I/O
Net-level Input and Output | Input and Output Ports
Blockb pause control
Hard and Soft Pause
cache
Off-chip load/store ports | HFAST Bondout (Offchip) Interface
CAMHDL
Other output formats
cgen
C++, SystemC and C#
CIL
CSP/Occam
Cil-uwind-budget
Loop NoUnroll Manual Control
Client Methods
Using A K-Distro Binary | Client versus Server Designs
Clock frequency
Kiwi Performance Tuning
ClockDom (attribute)
Clock Domains | Clock Domains
Clone
Clone
Closures
Delegates and Dynamic Free
code-point
Phase Changes, Waypoints and
Combinational logic generation
Kiwi Hard-Realtime Pipelined Accelerators
CombSRAM
Synchronous and/or Asynchronous RAM
Conditional compilation
Testing Execution Env: Whether
Cone refine
Cone Refine
csharp-gen
C++, SystemC and C#
debug access port
Debug, Single Step and
Default pause mode
Hard and Soft Pause
diogif
Simulation Control Command Line
diosim
Diosim Simulator
diosim:traceon
Simulation Control Command Line
directorate interface
Debug, Single Step and
Dispose
Introduction | Garbage Collection
divide by zero exception
Run Time Errors: Null
Dpath
HPR Command Line Flags
DRAM
DRAM | Off-chip load/store ports
dual-port RAMs
B-RAM Inference
Dynamic Method Dispatch
Delegates and Dynamic Free
Early arg -devx
HPR Command Line Flags
Early arg -give-backtrace
HPR Command Line Flags
Early arg -log-dir-name
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 arg -verboselevel
HPR Command Line Flags
Early args
Background: HPR/LS Library (aka
Elaborate
Elaborate/Subsume Manual Control
end of static elaboration point
Generate Loop Unwinding: Code
EndOfElaborate()
End Of Static Elaboration
enumeration types
Supported Types | The ToString() Method
Environment.Exit(1)
Normal Thread and Program
Espresso
Espresso
exceptions
Run-time Exception Handler | Run-time Status Monitoring, Waypoints | User-defined C# Exceptions
exit
Normal Thread and Program
External instantiation
Memories in Kiwi
Fecontrol (elab)
Elaborate/Subsume Manual Control
Filesystem
Filesystem Interface
finish
HPR Command Line Flags
FP execution environment
Using A K-Distro Binary
framestore
Framestore
Fsmgen (--vnl-resets=asynchronous)
HPR Command Line Flags
Fsmgen (--vnl-resets=synchronous)
HPR Command Line Flags
garbage collection
Preface | Introduction | Garbage Collection
gatelib
Other output formats
generate loops
Generate Loop Unwinding: Code
Generate-nondet-monitors
Bevelab: Synchronous FSM Synthesiser
GLOBALS
HPR Command Line Flags
GPIO
Designing General/Reactive Hardware with
Hard pause control
Hard and Soft Pause
hard pause mode
Designing General/Reactive Hardware with
Hardware Server
Hardware Server
help
General Command Line Flags
hpr_exit
Simulation Control Command Line
HwWidth (attribute)
Register Widths and Overflow | Register Widths and Wrapping
I2C
Designing General/Reactive Hardware with
Ifshare
HPR Command Line Flags
inHardware
Testing Execution Env: Whether
Initiator
HPR Command Line Flags
Intel Hex
HPR Output Formats Supported
IntPtr
Accessing Numerical Value of
IP-XACT output file
IP-XACT Output Generator
Kiwi
CSP/Occam
Kiwi.Dispose
Introduction | Garbage Collection
Kiwi.Elaborate
Elaborate/Subsume Manual Control
Kiwi.HardwareEntryPoint attribute
Using A K-Distro Binary
Kiwi.KppMarker
Phase Changes, Waypoints and
Kiwi.MemSpace
Dynamic Storage Allocation
Kiwi.NoUnroll
Loop NoUnroll Manual Control
Kiwi.PipelinedAccelerator
Pipelined Accelerator Example 1
Kiwi.Subsume
Elaborate/Subsume Manual Control
Kiwi.Unroll
Loop NoUnroll Manual Control
KiwiC
CSP/Occam
KppMarker
Kiwi Performance Predictor | Phase Changes, Waypoints and
KPragma
Elaboration Pragmas - Kiwi.KPragma
Lasso thread shape
Generate Loop Unwinding: Code
load/store port
Off-chip load/store ports
LocalLink
Designing General/Reactive Hardware with
logging
HPR Command Line Flags
Loop unwind
Loop NoUnroll Manual Control | HPR Command Line Flags
makefile
Installation and Easy Get
ManagedThreadId
get_ManagedThreadId
Maximal pause control
Hard and Soft Pause
memory channels
AXI and HFAST-to-AXI mapping
Monitor
HPR Command Line Flags
Monitor.PulseAll
Threading and Concurrency with
Monitor.Wait
Threading and Concurrency with
monodevelop
Installation and Easy Get
NeverReached assertion
Flag Unreachable Code
new
Garbage Collection
Nosubexps
HPR Command Line Flags
NoUnroll
Threading and Concurrency with | Loop NoUnroll Manual Control
null pointer exception
Run Time Errors: Null
nuSMV
Other output formats
Off-chip
Synchronous and/or Asynchronous RAM | Forced Off-chip/Outboard Memory Array
On-chip
Synchronous and/or Asynchronous RAM
Onehot
Bevelab: Synchronous FSM Synthesiser
OutboardArray
Forced Off-chip/Outboard Memory Array
Output Formats
Output and Analysis Recipe
Pause Mode
Pause Modes (within Sequencer
PauseControlSet
Pause Modes (within Sequencer
Performance Predictor
Kiwi Performance Predictor
plot
Simulation Control Command Line
Pointer Arithmetic
Pointer Arithmetic
prefetch
Off-chip load/store ports
Preserve-sequencer (synthcontrol)
Bevelab: Synchronous FSM Synthesiser
profiling
Profiling
Progress Indication
Run-time Status Monitoring, Waypoints
PSL
PSL Synthesiser
Re-structure
Restructure Recipe Stage
Read-only memory (ROM)
ROMs (read-only memories) and
recipe
Using A K-Distro Binary
Remote (attribute)
Remote
remote console
Console and LCD stdout | Watchpoints and Start/Stop Control
Remote() Attribute
Kiwi.Remote() Attribute
render-root
HPR Command Line Flags
Repacker
Repack Recipe Stage
Resets:asynchronous (synthcontrol)
Bevelab: Synchronous FSM Synthesiser
Resets:none (synthcontrol)
Bevelab: Synchronous FSM Synthesiser
Resets:synchronous (synthcontrol)
Bevelab: Synchronous FSM Synthesiser
Restructurer
Restructure Recipe Stage
ROM
ROMs (read-only memories) and
ROM mirroring
ROMs (read-only memories) and
root
Entry Point With Parameters
rootmodname
HPR Command Line Flags
roundtrip
HPR Command Line Flags
RPC
Kiwi.Remote() Attribute
RTL_SIM execution environment
Using A K-Distro Binary
run-time exceptions
Run-time Exception Handler
rwtrace
General Command Line Flags
SAT-based Logic Synthesiser
SAT-based Logic Synthesiser
Server (attribute)
Hardware Server
SetPauseControl
Hard and Soft Pause
sim
Simulation Control Command Line
Simulation time
Accessing Simulation Time
SMV
Other output formats
Soft pause control
Hard and Soft Pause
SSMG
SSMG Synthesiser
Statecharts
Statechart Synthesiser
Structural hazard
Restructure Recipe Stage
Subsume
Elaborate/Subsume Manual Control
SynchSRAM
Synchronous and/or Asynchronous RAM
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
C++, SystemC and C#
System.Threading.Interlocked.Add
Threading and Concurrency with
System.Threading.Interlocked.CompareExchange
Threading and Concurrency with
System.Threading.Interlocked.Decrement
Threading and Concurrency with
System.Threading.Interlocked.Exchange
Threading and Concurrency with
System.Threading.Interlocked.Increment
Threading and Concurrency with
SystemC
HPR Output Formats Supported | C++, SystemC and C#
Target
HPR Command Line Flags
Thread.Create
Threading and Concurrency with
Thread.Join
Threading and Concurrency with
Thread.Start
Threading and Concurrency with
tick counter
Accessing Simulation Time
tid
get_ManagedThreadId
time
Accessing Simulation Time
Timing closure
Kiwi Performance Tuning
title
Simulation Control Command Line
tnow
Accessing Simulation Time
ToString
The ToString() Method
traces
Simulation Control Command Line
Transactor Synthesiser
Transactor Synthesiser
Try blocks
Run-time Exception Handler
Ubudget
Loop NoUnroll Manual Control | HPR Command Line Flags
ucode
Other output formats
Unroll
Loop NoUnroll Manual Control
unsafe CIL code
Pointer Arithmetic
VCD - Verilog Change Dump
Simulation Control Command Line
Verbose
HPR Command Line Flags
Verbose2
HPR Command Line Flags
version
General Command Line Flags
Visual Basic
FAQ and Bugs
vnl
Other output formats
vnl-rootmodname
HPR Command Line Flags
vnl-roundtrip
HPR Command Line Flags
volatile
Threading and Concurrency with
way point
Phase Changes, Waypoints and
Waypoint
Run-time Status Monitoring, Waypoints | Phase Changes, Waypoints and
WD execution environment
Using A K-Distro Binary
Width (register)
Register Widths and Overflow | Register Widths and Wrapping
Wrapping
Register Widths and Overflow | Register Widths and Wrapping
Write
Console.WriteLine and Console.Write
Xtor
HPR Command Line Flags


David Greaves 2019-11-14