This story begins as many new developments have in the EDA industry. A designer, or verification person in this case, by the name of Yuan Lu, was working in a semiconductor company. He manually developed a lot of assertions for use in formal verification. He found they also were useful in a simulation environment, but he had great trouble convincing his fellow workers to develop similar ass...
» read more
