EMBEDDED COMPUTING SYSTEMS CONSISTING

Brand	Owner	Address	Description
INAV	INTERPHASE CORPORATION	Attn: Yoram Solomon 2901 North Dallas Parkway, Suite #200 Plano TX 75093	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;
	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.