All Categories : University Research Labs Bookmark and Share

Company : Universite de Montreal
Date : 21-Jun-2005

Rate This File
5 Stars
4 Stars
3 Stars
2 Stars
1 Star

LASSO: Laboratoire d'Analyse et de Synthèse des Systèmes Ordinés - There is growing interest in the microelectronics industry in the use of formal methods in the design, verification, and test of microelectronics systems. Our group is very well situated in this field as both software and methodology developers, and as educators.
User Reviews More Reviews Review This File
Aldec

Try our TCB Experts

Featured Video
Jobs
Senior and (less) Senior Design Verification Engineers for EDA Careers at San Jose and Austin, California
Senior Analog Design Engineers #5337 for EDA Careers at EAST COAST, California
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Senior Layout Engineer for EDA Careers at EAST COAST, California
Upcoming Events
Linley Spring Processor Conference - NOW A VIRTUAL EVENT at Virtual Event CA - Apr 6 - 9, 2020
Embedded Vision Summit 2020 at Santa Clara Convention Center Santa Clara CA - May 18 - 21, 2020
Sensors Expo & Conference at McEnery Convention Center 150 W. San Carlos Street SAN JOSE CA - Jun 22 - 24, 2020
Nanotech 2020 Conference and Expo at National Harbor MD - Jun 29 - 1, 2020
DownStream: Solutions for Post Processing PCB Designs
Verific: SystemVerilog & VHDL Parsers



© 2020 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise