For electronic system-level (ESL) methodologies to come to fruition, designers need to be able to nimbly move between levels of abstraction, especially when it comes to sequential logic. Design is ...