Logic circuit equivalence checking using Haar Spectral coefficients and partial BDDs.(binary decision diagram) VLSI Design | January 1, 2002| | COPYRIGHT 2002 Hindawi Publishing Corp. This material is published under license from the publisher through the Gale Group, Farmington Hills, Michigan.  All inquiries regarding rights should be directed to the Gale Group. (Hide copyright information) Copyright

A probabilistic equivalence checking method is developed based on the use of partial Haar Spectral Diagrams (HSDs). Partial HSDs are defined and used to represent a subset of Haar spectral coefficients for two Boolean functions. The resulting coefficients are then used to compute and to iteratively refine the probability that two functions are equivalent. This problem has applications in both logic synthesis and verification. The method described here can be useful for the case where two candidate functions require extreme amounts of memory for a complete BDD representation. ...

Related newspaper, magazine, and trade journal articles from HighBeam Research

(Including press releases, facts, information, and biographies)

	Cylinders Take a Snooze Magazine article from: Automotive Industries ; ...Inspire models with cylinder deactivation last year...the approach Variable Cylinder Management (VCM...mileage. Disabling cylinders finally makes sense...disable unnecessary cylinders so seamlessly that the...happening under the hood. Cylinder deactivation works because...
	Cylinder lubrication and feed control in relation to low-speed, cross-head engine load and speed Magazine article from: Lubrication Engineering ; Cylinder lubricant qualities as well as oil feed...stroke cycle cross-head diesel engines. Cylinder liners and piston rings are lubricated...each plunger stroke. Spread along the cylinder wall, the thin oil film perceives a thermo...
	Cylinder overhauls: are they worth it? In a market dominated by intense competition in new cylinders, overhauled jugs still make sense in some cases. Here's how to make the call.(AIRCRAFT ENGINES)(Industry overview) Magazine article from: The Aviation Consumer ; ...Zephyr still does cylinder overhauls and still...installs overhauled cylinders from the exchange...plummet in factory cylinder prices and intense competition in new cylinders from Superior and...or two from the cylinder pool. Proactive replacement of good cylinders that might fail...
	Using cylinders without high-level shutoff, overfill protection: a risk not worth taking. (reusable cylinders for pressurized refrigerants)(Gem Sensors Div.) Magazine article from: Air Conditioning, Heating & Refrigeration News ; ...refrigerant cylinders. For decades...have been few cylinder-related accidents...standards set by cylinder manufacturers...of reusable cylinders to store and...rupturing the cylinder. Many mistakenly believe that cylinders equipped with...
	Recovery cylinders must be retested or you risk paying a $25,000 fine. Magazine article from: Air Conditioning, Heating & Refrigeration News ; ...a couple of the cylinders on hand, while national service cylinder may have thousands. Use of refrigerant cylinders for recovery didn...their use. Those cylinders will need their...Although the need for cylinder testing has been...
	Cylinder replacements: Lycoming, ECI are tops: the entire cylinder market has been racked by ADs, bulletins and recalls. Lycoming's factory jugs have been standout performers.(OVERHAUL DECISIONS) Magazine article from: The Aviation Consumer ; ...existing Superior cylinders, rendering what...the cream of the cylinder crop as one-run...against factory cylinders or those supplied...with an aftermarket cylinder or flying a Continental...as mundane as a cylinder AD--the FAA finalized...against Superior cylinders installed on ...
	Cylinder passes for a spring Magazine article from: Mechanical Engineering ; ...the fluid spring uses two cylinders, one that lifts the load...road irregularities. The cylinders are tied to each other...that is common to both cylinders. A valve feeds hydraulic fluid to the lift cylinder when the load's height...
	Hydraulic cylinder anatomy.(back to BASICS) Magazine article from: Control Engineering ; ...and design configurations, cylinder actuators form the main output...must fit precisely to the cylinder ID. Each must be precisely...motion. The latest industrial cylinders can incorporate sensor feedback...com/issues for more on: * Cylinder technology * Water hydraulics...
	Halon Cylinder Becomes a Rocket Magazine article from: Chemical Engineering Progress ; ...high-flow-rate cylinders have greater thrust...standard compressed gas cylinders. What Can You Do? * Treat every cylinder as capable of becoming...Follow compressed gas cylinder safe handling requirements for securing cylinders from falling, and...
	Composite Cylinders Magazine article from: Propane Canada ; ...Specifications" and "Composite Cylinder Applications" are two...approval of composite cylinders for propane applications...over steel and aluminum cylinders: * Translucency, which...gas remaining in the cylinder. * Lighter weight...indicating that composite cylinders will not fragment ...

For more facts and information, see all results

Find more facts and information related to the article "Logic circuit equivalence checking using Haar ..."