AGENDA: An Attribute Grammar Driven Environment for the Design Automation of Digital Systems