computer software extensions used for electronic design automation,to aid in the creation and verification of abstract architectural level models