Oración 1: cada frag- mento describe el comportamiento dentro del sistema sin entrar en detalles sobre la implementación fı́sica de este
Oración 2: se debe tener en cuenta que estas descripciones pueden ser implementadas fı́sicamente usando ciertas herramientas que interpretan este lenguaje y son capaces de modificar un circuito genérico para darle el comportamiento que estas proponen
Conector: no obstante,
Relación: contrasting
Género: theses