Automated Logic Design Techniques Appiicabie to Integrated Circuit Technology