Balsa ist ein asynchrones System zum Simulieren und Synthetisieren von Schaltkreisen. Balsa wurde um die Handshake-Circuits-Methode aufgebaut und kann aus den Definitionen auf der hohen Ebene der Balsa-Sprache Netzlisten auf Gatterebene generieren. (non)