LINE EMBEDDED COMPUTING SYSTEMS

Brand	Owner	Address	Description
IWAY	INTERPHASE CORPORATION	Attn: Yoram Solomon 2901 North Dallas Parkway, Suite #200 Plano TX 75093	Line of Embedded Computing Systems consisting of an enclosure containing various computer modules and software for use in the processing of various forms of communication traffic in a network;I WAY;
	Where the owner name is not linked, that owner no longer owns the brand

Technical Examples

In one embodiment, a method for determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures includes, at a first one of multiple computing systems, receiving a first partition of a circuit. The first partition corresponds to a first binary decision diagram (BDD) having a first density. The method includes performing a first reachability analysis on the first partition using the first BDD until a fixed point in the first partition has been reached and, if, during the first reachability analysis, the size of the first BDD exceeds a threshold, discarding the first BDD. The method includes communicating with at least one second one of the multiple computing systems. The second one of the multiple computing systems has received a second partition of the circuit. The second one of the multiple computing systems has performed a second reachability analysis on the second BDD without discarding the second BDD.