Jasper Design Automation Forms Formal Verification Technical Advisory Board.MOUNTAIN VIEW, Calif. -- Design Verification Visionaries to Provide Research Insights and Experience to Jasper Management Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that it has formed a Technical Advisory Board (TAB) made up of world-renowned visionaries from the academic world in the field of formal verification. The TAB's purpose will be to advise Jasper's management team on academic research trends in formal verification, provide guidance on Jasper's technical product development, and to educate students on the commercial trends in formal verification. The initial members of the TAB include Alan Hu, associate head of the Department of Computer Science at the University of British Columbia Locations Vancouver The Vancouver campus is located at Point Grey, a twenty-minute drive from downtown Vancouver. It is near several beaches and has views of the North Shore mountains. The 7. ; Sharad Malik, professor in the Department of Electrical Engineering, Princeton University; Satoshi Goto, professor at the Graduate School of Information, Production and Systems, Waseda University, Kitakyushu, Japan; and Claudionor Coelho, associate professor at the Federal University of Minas Gerais, Belo Horizonte, Brazil. "The charter members of our technical advisory board are all highly distinguished professors at top universities and greatly accomplished in industry as well as formal technology research," said Vigyan Singhal, founder and chief technical officer at Jasper. "We are honored that they have agreed to serve on the TAB, and are looking forward to working with them to chart the future of commercial formal technology. This is especially exciting in light of our merger with Safelogic, which brings together two of the most advanced formal technologies available today." "Jasper has invented a breakthrough approach to formal functional verification that allows users to solve problems that were previously intractable," said Sharad Malik, who was previously on the technical advisory board for Verplex Systems. "In joining as a charter member of Jasper's TAB, I am excited to be a part of this innovative team that's delivering on the long-standing promise of formal verification -- a reliable, scalable, exhaustive verification method for the masses." Biography of Alan Hu Dr. Alan J. Hu received his B.S. degree (with honors and academic distinction) as well as his Ph.D. from Stanford University, California. Currently, he is Associate Professor and Associate Head of the Department of Computer Science at the University of British Columbia. For the past 15 years, his main research focus has been automated, practical techniques for formal verification. Prior to joining UBC, he was a Member of the Research Staff in the VLSI VLSI: see integrated circuit. (1) (Very Large Scale Integration) Between 100,000 and one million transistors on a chip. See SSI, MSI, LSI and ULSI. (2) (VLSI Technology, Inc., Tempe, AZ, www.semiconductors. CAD division of Fujitsu Laboratories of America. Dr. Hu won first place in the Westinghouse (now Intel) Science Talent Search in 1985, was a U.S. National Merit Scholar also in the same year, and was elected to Phi Beta Kappa Phi Beta Kappa: see fraternity. Phi Beta Kappa Leading academic honour society in the U.S., which draws its membership from college and university students. The oldest Greek-letter society in the U.S. in 1987. He has served on the program committee of most major CAD and formal verification conferences, and chaired or co-chaired CAV (1998), HLDVT HLDVT High Level Design Validation and Test (Workshop) (2003), and FMCAD FMCAD Formal Methods in Computer-Aided Design (Conference) (2004). He was a Technical Working Group Key Contributor on the 2001 International Technology Roadmap for Semiconductors The International Technology Roadmap for Semiconductors is a set of documents produced by a group of semiconductor industry experts. These experts are representative of the sponsoring organisations which include the Semiconductor Industry Associations of the US, Europe, Japan, . Biography of Sharad Malilk Sharad Malik received his B. Tech. degree in Electrical Engineering from the Indian Institute of Technology, New Delhi, India, and his M.S. and Ph.D. degrees in Computer Science from the University of California, Berkeley The University of California, Berkeley is a public research university located in Berkeley, California, United States. Commonly referred to as UC Berkeley, Berkeley and Cal . Currently he is a Professor in the Department of Electrical Engineering at Princeton University. His research spans all aspects of Electronic Design Automation. His current focus areas are the synthesis and verification of digital systems and embedded computer systems. Dr. Malik has published numerous papers, book chapters and a book (Static Timing Analysis for Embedded Software) describing his research. His research in functional timing analysis and propositional satisfiability has been widely used in industrial electronic design automation tools. He has received numerous awards, including Best Paper Awards at the International Conference on Computer Design, the Design Automation Conference (DAC See D/A converter and discretionary access control. DAC - Digital to Analog Converter ), and the Design Automation and Test in Europe Design Automation and Test in Europe, or DATE is a yearly conference on the topic of electronic design automation. It is typically held in March or April of each year, alternating between France and Germany. (DATE) Conference. He serves/has served on the program committees of DAC, ICCAD ICCAD International Conference on Computer-Aided Design and ICCD ICCD International Conference on Computer Design ICCD Intensified Charge-Coupled Device ICCD International Childhood Cancer Day ICCD International Convention to Combat Desertification ICCD Intensified Customer Concern Definition and was the General Chair for DAC 2004. He is on the editorial boards of the Journal of VLSI Signal Processing, Design Automation for Embedded Systems and IEEE (Institute of Electrical and Electronics Engineers, New York, www.ieee.org) A membership organization that includes engineers, scientists and students in electronics and allied fields. Design and Test. He is a fellow of the IEEE. He is currently serving as the Associate Director of the Gigascale Systems Research Center, a multi-university effort directed towards defining and developing system design methodology with a ten-year horizon. Biography of Satoshi Goto Satoshi Goto received his B.E. degree, M.E. degree and doctorate in Electronics and Communication Engineering —  The perspective and/or examples in this article do not represent a world-wide view. Please [ edit] this page to improve its geographical balance. from Waseda University. After receiving his doctorate, he joined Central Research Laboratories of NEC (NEC Corporation, Tokyo, www.nec.com, www.necus.com) An electronics conglomerate known in the U.S. for its monitors. In Japan, it had the lion's share of the PC market until the late 1990s (see PC 98). NEC was founded in Tokyo in 1899 as Nippon Electric Company, Ltd. where he worked for 31 consecutive years. He was General Manager of C&C Media Research Laboratories and Vice President in charge of computer, software and networking research. After leaving NEC in 2002, he became Chief Executive of Kitakyushu Foundation for the Advancement of Industry, Science and Technology. He became Professor at the Graduate School of Information, Production and Systems at Waseda University, Kitakyushu in April, 2003. He was also a Visiting Scholar at the University of California, Berkeley. In research, Dr. Goto worked on Computer Aided Design (application) Computer Aided Design - (CAD) The part of CAE concerning the drawing or physical layout steps of engineering design. Often found in the phrase "CAD/CAM" for ".. manufacturing". for VLSI, Artificial Intelligence approach to VLSI design and combinatorial optimization methods for large scale problems. He is the author or co-author of over 80 papers in VLSI design and Computer Aided Design. He has served many conferences as an Executive committee member. Among those are the General Chair and Program Chair of ICCAD, General Chair of ASPDAC and committee member of DAC and ISCAS ISCAS International Symposium on Circuits and Systems ISCAS International Society for Computer-Aided Surgery ISCAS Integrated Submarine Communication Antenna System . He was a member of the Board of Director of the IEEE Circuits and Systems, the Institute of Electronics, Information and Communication Engineering and Japanese Society for Artificial Intelligence. Dr. Goto is a fellow of IEEE and a member of the Engineering Academy of Japan. He has received a number of awards and honors, including Distinguished Achievement Awards from the Institute of Electronics, Information and Communication Engineering, and the same award from Japanese Society of Artificial Intelligence, the best paper award from ICCC and Jubilee Medal from IEEE. Biography of Claudionor Coelho Claudionor Coelho obtained his BSEE (summa cum laude sum·ma cum lau·de adv. & adj. With the greatest honor. Used to express the highest academic distinction: graduated summa cum laude; a summa cum laude graduate. ) and MSCS from the Federal University of Minas Gerais in Belo Horizonte, Brazil, his PhD-EE/CS from Stanford University, and his MBA from IBMEC IBMEC International Business and Management Education Centre (Singapore) IBMEC Instituto Brasileiro de Mercados Capitais (Brazil) . He has worked in several companies in the US, both in technical and in upper management positions, including Integrated Information Technology (company) Integrated Information Technology - (IIT) A Santa Clara based company producing a programmable, single chip H.261 and MPEG system. The chip contains a RISC processor, originally based on the MIPS architecture but now called RISCit, and a "Pixel Processor". and in Verplex Systems, where he directed the BlackTie(TM) team and was responsible for the development of OVL. He was a founder of several startups, and he is a counselor for FirCapital Partners in startup strategy and technology. Dr. Coelho has written award-winning papers and books, and was a contributing author to Advanced Formal Verification from Kluwer Academic Publishers. He is currently Associate Professor at the Computer Science Department at the Federal University of Minas Gerais, Brazil. About Jasper Design Automation Founded in 1999, Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company headquartered in Mountain View, California For the census-designated place, see Mountain View, Contra Costa County, California. For other places called "Mountain View", see . Mountain View is a city in Santa Clara County, in the U.S. state of California. The city gets its name from the views of the Santa Cruz Mountains. . Delivering breakthrough verification completeness, productivity and predictability, the JasperGold(TM) solution formally verifies that complex design blocks meet their high level requirements, as defined by their specifications, without any testbench development. JasperGold automatically isolates bugs with a fast, unique debugging capability, trimming crucial months off the verification schedule. For further details on how to improve design quality, verification productivity, debug efficiency and verification reuse, visit http://www.jasper-da.com. Jasper Design Automation, the Jasper Design Automation logo, Tempus Quest, JasperGold and Jasper Formal Testplanner are trademarks of Jasper Design Automation, Inc. Safelogic is a trademark of Safelogic AB. All other names mentioned are trademarks, registered trademarks, or service marks of their respective companies. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion