Concept Index

• action loops: CHP Loops
• aggregate references: Aggregates references
• aliases: Aliases
• arithmetic operators: Arithmetic Operators
• array concatenation: Array concatenation
• array construction: Array construction
• array declarations: Array Declarations
• array references: Array References
• arrays: Arrays
• arrays, dense: Dense arrays
• arrow, PRS shorthand: PRS Basics
• assignment in CHP: CHP Assignments
• asynchronous VLSI: Asynchrony
• attributes: Attributes
• attributes, node: PRS Node attributes
• attributes, PRS: PRS Attributes
• attributes, rule: PRS Rule attributes
• automatic connections: Implicit Ports
• bit fields: Integer Bit Slices
• bit slices: Integer Bit Slices
• bitwise operators: Bitwise Operators
• body contacts: PRS Substrate Overrides
• boolean data type: Booleans
• built-in data types: Built-in datatypes
• call statements: Function Calls
• canonical definition: Typedefs
• CAST: Roots
• channel directions: Channel Connections and Directions
• channel receive: CHP Communications
• channel receiving: Sending and Receiving
• channel send: CHP Communications
• channel sending: Sending and Receiving
• channel types, fundamental: Fundamental Channel Types
• channel types, user-defined: User-defined Channel Types
• channels: Channels in CHP
• channels: Channels
• CHP: CHP
• CMOS-implementable PRS: PRS Basics
• complete type: Definition Completeness and Usability
• concatenation or arrays: Array concatenation
• concrete layout map: Definitions
• concurrent composition: Metaparameter loop constructs
• concurrent composition: Statement Composition
• connections: Connections
• construction of arrays: Array construction
• CSP: CHP
• CSP: Introduction
• data types: Datatypes
• data types, user-defined: User-defined datatypes
• datatypes: Datatypes
• default parameter values: Default template values
• default template parameters: Default template values
• definition layout: Definition Physical Layout
• definition names: Definition Names
• definitions: Definitions
• dense arrays: Dense arrays
• design automation: Design Automation
• design space exploration: Design Space Exploration
• deterministic selection: Metaparameter loop constructs
• deterministic selection: CHP Deterministic Selection
• direction of channels: Channel Connections and Directions
• do-while loop: CHP Do-While
• emacs: Roots
• enumeration type: Enumerations
• equivalent, templates: Template signature equivalence
• expressions: Expressions
• expressions in CHP: CHP Expressions
• flow control in CHP: CHP Flow Control
• fork: Statement Composition
• forwar declaration, template: Template Forward Declarations
• forward declaration, process: Process forward declarations
• function calls: Function Calls
• function expressions: Function expressions
• fundamental channel types: Fundamental Channel Types
• goals: Goals
• grammar: Grammar
• guarded command: CHP Deterministic Selection
• guarded command: CHP Guarded Commands
• hierarchical references: Instance References
• history: Roots
• implicit ports: Implicit Ports
• implicit size of array reference: Implicit array size
• implicit supply: Implicit Ports
• importing namespaces: Importing Namespaces
• instance references: Instance References
• integer data type: Integers
• internal nodes: PRS Internal Nodes
• introduction: Introduction
• join: Statement Composition
• keywords: Keywords
• linkage: Linkage
• literal attributes, PRS: PRS Literal attributes
• literal, PRS: PRS Basics
• logical operators: Logical Operators
• loop composition in CHP: Metaparameter loop constructs
• loop concatenation: Loop concatenation
• loop constructs in CHP: Metaparameter loop constructs
• loops (PRS): PRS Loops
• loops in CHP: CHP Loops
• macros, PRS: PRS Macros
• meta-expressions: Expressions
• namespace identifiers: Namespace Identifiers
• namespace resolution: Namespace Resolution
• namespaces: Namespaces
• node attributes: PRS Node attributes
• nondeterministic selection: Metaparameter loop constructs
• nondeterministic selection: CHP Nondeterministic Selection
• nonmeta value assignment: CHP Assignments
• nonmeta value references: CHP Value References
• operator attributes, PRS: PRS Operator attributes
• operator precedence: Built-in Operators
• operators: Built-in Operators
• operators in CHP: CHP Operators
• parallel composition: Metaparameter loop constructs
• parallel composition: Statement Composition
• parameters, template: Parameters
• pass-gates: Pass-gates
• port connections: Port Connections
• port direction: Process Ports
• ports, process: Process Ports
• power supply: PRS Supply Overrides
• power supply: Implicit Ports
• precharge: PRS Operator attributes
• primary supply: Implicit Ports
• process: Processes
• process definitions: Process definition body
• process definitions: Process Definitions
• process forward declaration: Process forward declarations
• process ports: Process Ports
• program transformation: Design Space Exploration
• PRS: PRS Basics
• PRS: PRS
• PRS macros: PRS Macros
• prsim: PRS Rule attributes
• range expressions: Range expressions
• range-equivalence: Array size-equivalence
• receive on channel: CHP Communications
• receiving on channels: Sending and Receiving
• relational operators: Relational Operators
• relaxed templates: Relaxed Template Examples
• rule attributes: PRS Rule attributes
• rule loop: PRS Loops
• selection, deterministic: Metaparameter loop constructs
• selection, deterministic: CHP Deterministic Selection
• selection, nondeterministic: Metaparameter loop constructs
• selection, nondeterministic: CHP Nondeterministic Selection
• send on channel: CHP Communications
• sending on channels: Sending and Receiving
• sequential composition: Metaparameter loop constructs
• sequential composition: Statement Composition
• shared nodes: PRS Internal Nodes
• shared transistors: PRS Internal Nodes
• shorthand PRS arrow: PRS Basics
• signature equivalence: Template signature equivalence
• size-equivalence: Array size-equivalence
• sizing of PRS: PRS Literal attributes
• sizing of PRS: PRS Sizing
• skip statement: CHP Skip
• SPEC directives: SPEC Directives
• specialization, templates: Template Specialization
• substrate overrides: PRS Substrate Overrides
• supply domain: Implicit Ports
• supply overrides: PRS Supply Overrides
• supply ports: Implicit Ports
• template forward declarations: Template Forward Declarations
• template parameters: Parameters
• template signature: Template signature equivalence
• template specialization: Template Specialization
• template type equivalence: Template Type Equivalence
• templates: Templates
• transistor type override: PRS Literal attributes
• type completeness: Definition Completeness and Usability
• type definitions: Definitions
• type equivalence: Typedef Type-equivalence
• type equivalence, template: Template Type Equivalence
• typedefs: Typedefs
• types: Types
• user-deffined data types: User-defined datatypes
• user-defined channel types: User-defined Channel Types
• value references in CHP: CHP Value References
• Verilog: Asynchrony
• VHDL: Asynchrony
• vi: Roots
• visibility: Visibility
• VLSI: Asynchrony
• wait statement: CHP Wait