An Application of Domain Theory to Logical Design of VLSI Circuits

• 论域理论在超大规模集成电路逻辑设计上的运用