publication venue for Invited: ESL design in SystemC AMS 2017 Session details: Parameter tuning in system architecture exploration 2007 SMART: tools and methods for synthesis of VLSI chips with processor architecture 1988 PEARL: An Expert System for Power Supply Layout 1986