This report describes approaches to system-level design tools and methodologies. It incorporates significant advances in a behavioral modeling and simulation methodology for Lab-on-a-chip (LoC) design. This modeling and simulation methodology was developed with optimization for design synthesis in mind, enabling rapid automated design of highly complex biofluidic microsystems. This behavioral modeling methodology involves decomposing a complex LoC system into a small set of elements. Each of the elements is associated ...