publication venue for A methodology for hardware architecture trade-off at different levels of abstraction 1997 Automatic transfer of parametric FEM models into CAD-layout formats for top-down design of microsystems 1997 Built-in self test architectures for multistage interconnection networks 1996