We developed a wide range of technological capabilities at BTC, in prototype if not in product. They all centered around the features of boundary logic optimization. I began considering these possibilities in the mid-90s:

We continued at BTC to refine the software capabilities:

Losp was augmented with Pun, a data structure conducive to the description and modification of semiconductor circuits. The suite was renamed ILOC for Iconic Logic Optimizing Compiler. Many technical issues were addressed, such as how to improve existing hardware, how to measure performance capacity, what languages to use, how to integrate into the conventional design flow...

Compared to modern Computer Science, hardware design is in the dark ages. Surely an improvement would be appreciated, that is, if you don't change anything.