A NCL da lógica Theseus foi mencionada, também havia sistemas Handshake (spin-off da Philips), bem como Fulcrum Microsystems e Caltech. Também havia um processador ARM assíncrono chamado Amulet. E a SUN Microsystems também tinha uma equipe de design de processador para um SPARC sem relógio.
Eu chamaria esses projetos sem relógio para evitar a confusão entre o design lógico, como contadores de ondulação e esses tipos de circuitos. Mas, em geral, qualquer um dos termos é usado.
O DC (Design Compiler) da Synopsys e o Merlin dos sistemas FTL também estavam disponíveis.
No entanto, se você tiver uma biblioteca de células principais projetada adequadamente, essa abstração / descrição de nível superior pode se tornar trivial. A questão principal é que, se você projetou um sistema que permite que cada célula propague para frente um sinal que diz "resultado bom", além de propagar o sistema "disponível para trás", o sistema se auto-regula e, como tal, pode ser simplesmente projetado de maneira muito parecida com software sem se preocupar com condições de corrida ou tempo para esse assunto.
Portanto, as ferramentas usadas seriam tão simples quanto o SPICE para o design de nível de célula (nível de transistor) e C para compilar em um conjunto de primitivos a serem colocados. Durante toda a minha vida, não consigo encontrar a ferramenta baseada em C (código aberto) usada.
Olhe para pessoas como Wesley Clark (ele faleceu recentemente), bem como Ivan Sutherland e Karl Fant (mencionados em outros lugares também).