{
  signal: [
    {name: 'clock',     wave: 'P.|||.', phase:.5},
    {name: 'available', wave: '1...0.',  node: '....b..'},
    {name: 'abort',     wave: '01...0',  node: '.a...c'},
  ],
   edge: [ 'a~>b see note', 'b~>c see note'  ]
  ,config: { hscale: 2}
  ,head:   {text:'abort to available'}
  ,foot:   {
    text:'note: abort must be held until available deasserts. Deassert abort whenever.'}
}