HOME   PREV   NEXT (Composing a Mixture)

Formal Specification of a Holding Register

We are free to throw any other interfaces or resources into the mixture, such as a holding register or two...

let holder8_nets = 
    ("H8",     Local, Symbolic_bitvec (8) )

let holder8_idle =  
  ("dead", "H8");

let holder8_protocol =  
 Seq[   ]  (* Null protocol - can be freely used *)

let holder8 = ("HOLDER8", holder8_nets, holder8_idle, holder8_protocol)