Re: Using the RM for ADTs
Date: Sun, 12 Jul 2009 10:28:10 -0400
"David BL" <davidbl_at_iinet.net.au> wrote in message
> On Jul 12, 2:06 pm, "Brian Selzer" <br..._at_selzer-software.com> wrote:
>> This assumes that the circuits being "instantiated" are known ahead of
>> How is that knowledge arrived at? Where does it come from?
> Circuit designers. In practise tremendous data compression is
> possible. For example a 32 bit ripple carry adder can be built from
> 32 full adders, where each full adder is made from 2 XOR, 2 AND and 1
> OR gate, and each of these gates involves a particular configuration
> of transistors.
I'm sorry. I thought you were looking for a more general solution that facilitates the detection of circuits that are structurally equivalent but whose components or nodes just have different identifiers. Received on Sun Jul 12 2009 - 16:28:10 CEST