# CAST to HAC Migration Guide

## Short Contents

- CAST to HAC Migration Guide
- 1 Introduction
- 2 Types
- 3 Definitions
- 4 Instances
- 5 Arrays
- 6 Connections
- 7 Expressions
- 8 Loops
- 9 Templates
- 10 Typedefs
- 11 PRS
- 12 CHP
- 13 Spec Directives
- 14 Legacy Tools
- Concept Index

## Table of Contents

- CAST to HAC Migration Guide
- 1 Introduction
- 2 Types
  - 2.1 Fundamental Types
  - 2.2 User-defined Types
- 3 Definitions
  - 3.1 Ports
- 4 Instances
- 5 Arrays
- 6 Connections
  - 6.1 Scalar instance connections
  - 6.2 Arrayed connections
- 7 Expressions
- 8 Loops
  - 8.1 Loop instantiations and connections
  - 8.2 PRS Loops
- 9 Templates
  - 9.1 Template Basics
  - 9.2 Template Instantiations
  - 9.3 Default Parameters
  - 9.4 Relaxed Templates
- 10 Typedefs
  - 10.1 Typedef Templates
- 11 PRS
  - 11.1 Loop Rules
  - 11.2 Conditional Rules
  - 11.3 Loop Expressions
  - 11.4 Rule Macros
  - 11.5 Rule Attributes
  - 11.6 Sized Literals
  - 11.7 Miscellaneous
- 12 CHP
  - 12.1 Lexical Conventions
  - 12.2 CHP Grammar
  - 12.3 New Features
- 13 Spec Directives
  - 13.1 Porting from CAST
- 14 Legacy Tools
  - 14.1 PRS Simulation
  - 14.2 LVS
  - 14.3 CHPSIM
- Concept Index

Next: Introduction, Up: (dir)

## CAST to HAC Migration Guide

This document describes language and tool migration from old CAST to HAC tools.

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

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

Copyright © 2007 Cornell University

> Published by ...

> Permission is hereby granted to ...