The HAC Language

Short Contents

Table of Contents

The HAC Language
Preface
Goals
- Design Automation
- Design Space Exploration
- Asynchrony
1 Introduction
- 1.1 Purpose
- 1.2 Roots
- 1.3 Overview
2 Types
- 2.1 Parameters
- 2.2 Definitions
  - 2.2.1 Physical Layout
  - 2.2.2 Names
- 2.3 Completeness and Usability
- 2.4 Future extensions
3 Expressions
- 3.1 Range expressions
4 Arrays
- 4.1 Dense arrays
- 4.2 Sparse arrays
- 4.3 Size-equivalence
- 4.4 Declarations
- 4.5 References
  - 4.5.1 Implicit size
- 4.6 Aggregates
- 4.7 Issues
5 Processes
- 5.1 Declarations
  - 5.1.1 Ports
  - 5.1.2 Forward declarations
- 5.2 Definitions
  - 5.2.1 Process definition body
6 Channels
- 6.1 Sending and Receiving
  - 6.1.1 Connections and Directions
- 6.2 Fundamental Channel Types
- 6.3 User-defined Channel Types
- 6.4 Issues
  - 6.4.1 Typedefs
  - 6.4.2 Channel Relaxed Templates
7 Datatypes
- 7.1 Built-in datatypes
  - 7.1.1 Booleans
  - 7.1.2 Integers
- 7.2 Enumerations
- 7.3 User-defined datatypes
8 Namespaces
- 8.1 Identifiers
- 8.2 Importing
- 8.3 Resolution
- 8.4 Issues
9 Templates
- 9.1 Terminology
- 9.2 Forward declarations
  - 9.2.1 Template signature equivalence
- 9.3 Default values
- 9.4 Type-equivalence
  - 9.4.1 Template Examples
- 9.5 Type Parameters
- 9.6 Template Template Parameters
- 9.7 Template Specialization
- 9.8 Partial Ordering of Specializations
- 9.9 Template Argument Deduction
- 9.10 Template Definition Bindings
- 9.11 Issues
- 9.12 Future
10 Connections
11 Attributes
- 11.1 Bool Attributes
- 11.2 Channel Attributes
- 11.3 Process Attributes
12 Typedefs
- 12.1 Type-equivalence
- 12.2 Questions
13 Linkage
- 13.1 Visibility
- 13.2 Ordering
- 13.3 Questions
14 Communicating Hardware Processes
- 14.1 Expressions
- 14.2 Channels
- 14.3 Statements
- 14.4 Flow Control
- 14.5 Metaparameter loop constructs
- 14.6 Extensions
  - 14.6.1 Function Calls
15 Production Rule Set (PRS)
- 15.1 Basics
  - 15.1.1 Sizing
  - 15.1.2 Internal Nodes
- 15.2 Attributes
- 15.3 Loops
- 15.4 Extensions
  - 15.4.1 Macros
  - 15.4.2 Pass-gates
- 15.5 Options
16 SPEC Directives
Appendix A Keywords
Appendix B Grammar
Function Index
Concept Index

Next: Preface, Up: (dir)

The HAC Language

This manual describes the HAC language specification.

This document can also be found online at http://www.csl.cornell.edu/~fang/hackt/hac.

The main project home page is http://www.csl.cornell.edu/~fang/hackt/.

Copyright © 2007 Cornell University

Published by ...
Permission is hereby granted to ...