EDA environments in 1995: specification, not implementation | IEEE Conference Publication | IEEE Xplore