(nodes) (gates) (connections (connect (req "write") (req "signal")) (connect (ack "signal") (ack "write")) (connect (data "write") (data (each "read"))) (connect (combine (req (each "read"))) (combine (ack (each "read")))) )