Text this: Design methodologies for microelectronics. Proceedings :