Irene Buchanan

• Modelling and verification in structured integrated circuit design