- -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