Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Felice Balarin. Utilizing Formal Assertions for System Design of Network Processors. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 126-133, IEEE Computer Society, 2004. [doi]
Abstract is missing.