□ 고급정형 테크놀로지 솔루션 제공업체인 Jasper Design Automation은 새로운 4개의 특허를 획득함. 최고기술책임자(CTO) Rajeev Ranjan은 「새로 획득한 특허는 Jasper社의 정형 테크놀로지를 보다 더 진보시킨 것」이라고 언급하며, 「자사의 연구개발팀은 설계에서부터 제품까지 현금흐름을 통한 질과 상품성 향상을 위해 모든 디자인 단계에서 검증혁신을 계속적으로 제공할 것」이라고 강조함

□ 새로 획득한 특허는 다양한 기술혁신을 포함함
 o 미특허 제7,437,694호- 증명타깃의 기여로 특정 RTL 로드시그널과 가치 확인. 타깃으로 삼은 정보는 기존 사용자에게 고성능과 빠른 이해를 제공함
 o 미특허 제7,421,668호- 다양한 조건하에 독립적인 회로설계(circuit design) 특성의 의미 있는 시각화. 사용자로 하여금 조건모델에서 특성을 실행하는 오류도 해결할 수 있도록 함
 o 미특허 제7,421,668호- 이 기술혁신은 중요 특성을 보호하고 카운터(counters)를 사용하는 회로설계가 검증하는 동안 회로설계에서 카운터를 단순화시키는 방법들을 제공함

□ Jasper社는 시장이 요구하는 지속적인 기술혁신과 답변을 통해 청원중인 특허를 포함하여 11개의 특허를 소유함. Jasper社는 재빠른 시장 대응, 비용 감소, 결점 완화로 회로설계를 위한 대부분의 도전을 해결함으로써 고객에게 증명된 「타깃 투자수익률(ROI)」을 부여함

□ Jasper社의 기업철학은 가장 강력하고 효과적인 정형검증 솔루션인 JasperGold에서 드러남. 또한 소요시간을 단축시킨 설계와 지식재산에 대한 이해와 재사용을 위한 행동인덱스(Behavioral Indexing) ActiveDesign에서도 마찬가지임