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)