Next:
Preface
Contents
Index
Kiwic: .NET to RTL compiler
User Manual
Very First Tentative Draft
Preface
Contents
Overview Summary
Background: HPR Library and Orangepath Tool
Get Started (Fsharp/Dotnet)
Old Get Started (MOSCOW ML)
Kiwic Internal Operation
C# Attributes
Flag Unreachable Code
Hard and Soft Clock Control
Loop NoUnroll Manual Control
Elaborate/Subsume Manual Control
Offchip or Output Memory Array Mapping
Hardware Server
Register Widths and Wrapping
Input and Output Ports
Clock Domains
Remote
Synthesisable Language Subset
FAQ
Accessing Simulation Time
Orangepath Synthesis Engines
A* Live Path Interface Synthesiser
Transactor Synthesiser
Asynchronous Logic Synthesiser
SAT-based Logic Synthesiser
Bevelab: Synchronous FSM Synthesiser
Bevelab: Internal Operation
PSL Synthesiser
Statechart Synthesiser
SSMG Synthesiser
Restructure Synthesiser
Output Formats
General Orangepath Facilities
FILES AND DIRECTORIES
Espresso
Cone Refine
HPR Command Line Flags
Other output formats
General Command Line Flags
Simulation Control Command Line Flags
Diosim Simulator
Index
Index
About this document ...
David Greaves 2011-03-31
