Search results for formal verification

IEEE

Formal Modelling and Proof in the CHERI Design and Implementation Process

Explore rigorous engineering methods for hardware security with IEEE's online material. Learn about the CHERI processor architecture, its implementation, and formal verification in under an hour.

• YouTube
• 15 minutes
• On-Demand
• Free Online Course

Understanding IELTS: Writing

481 reviews

Find out what you need to know about the IELTS Writing test and learn techniques and strategies to improve your test performance.

• FutureLearn
• 3 weeks, 3 hours a week
• On-Demand
• Paid Course

Writing Formal Business Letters and Emails

782 ratings at LinkedIn Learning

Learn how to write formal business letters and emails that are short, clear, and to the point.

• LinkedIn Learning
• On-Demand
• Free Trial Available

Formal Email Writing - Business English

1001 ratings at Udemy

Quickly and easily learn how to write formal emails. Master the format, grammar, phrases, and avoid common mistakes.

• Udemy
• 2-3 hours
• On-Demand
• Paid Course

Business English: Networking

3262 ratings at Coursera

During the course, you will begin learning vocabulary and customs related to socializing and networking in English.

• Coursera
• 1 day 4 hours 29 minutes
• On-Demand
• Free Online Course (Audit)

VLSI CAD Part I: Logic

537 ratings at Coursera

Learn how to design complex VLSI chips using CAD software tools. Focus on Boolean logic representations and key design tools. Offered by University of Illinois at Urbana-Champaign. 5 weeks long.

• Coursera
• 23 hours
• On-Demand
• Free Online Course (Audit)

PMP Certification: 35+ PDU Formal PMP Exam Prep_New PMP 2024

10049 ratings at Udemy

PMPⓇ Certification: 42 PDU PMP Exam Complete Training / Get the PMP Project Management Certification on the first try!

• Udemy
• 1 day 18 hours 44 minutes
• On-Demand
• Paid Course

Principles of Secure Coding

336 ratings at Coursera

Learn secure programming principles with UC Davis in a 4-week course. Explore robust coding, common programming issues, and design principles. Labs included. Knowledge of C language beneficial.

• Coursera
• 15 hours 43 minutes
• On-Demand
• Free Online Course (Audit)

NPTEL;  IIT Guwahati

Embedded Systems - Design Verification and Test

1 review

Learn to design, verify, and test embedded systems with NPTEL's 32-hour program. Gain skills in hardware design, system level analysis, and digital VLSI testing.

• YouTube
• 1 day 8 hours
• On-Demand
• Free Online Course

Introduction to Software Testing

704 ratings at Coursera

After completing this course, you will have an understanding of the fundamental principles and processes of software testing.

• Coursera
• 1 day 6 hours 2 minutes
• On-Demand
• Free Online Course (Audit)

Information Systems Auditing, Controls and Assurance

650 reviews

In the course you will explore risks of information systems, and how to mitigate the risks by proper IS Controls. You will also get familiar with the IS Audit procedures and how they are applied during the IS development throughout the Systems Developmen…

• Coursera
• 8 hours 34 minutes
• On-Demand
• Free Online Course (Audit)

• Best of All Time

Mathematics for Machine Learning: Multivariate Calculus

9 reviews

Imperial College London offers a 6-week course on multivariate calculus for machine learning, covering gradient functions, vectors, neural network training, and linear regression models.

• Coursera
• 17 hours 45 minutes
• On-Demand
• Free Online Course (Audit)

NPTEL;  IIT Madras

Theory of Automata, Formal Languages and Computation

1 review

Explore the theory of automata, formal languages, and computation with NPTEL's 39-hour program. Dive into grammars, natural language processing, final state automata, pushdown automata, and more.

• YouTube
• 1 day 15 hours
• On-Demand
• Free Online Course

Software Development Processes and Methodologies

1956 ratings at Coursera

Explore software development processes with the University of Minnesota's 4-week course. Learn about industry methodologies, their pros and cons, and how to apply them effectively.

• Coursera
• 22 hours 11 minutes
• On-Demand
• Free Online Course (Audit)

New Learning: Principles and Patterns of Pedagogy

291 ratings at Coursera

Explore the future of education with the University of Illinois, focusing on the impact of social and technological changes on teaching and learning. Course duration is 4 weeks.

• Coursera
• 15 hours 15 minutes
• On-Demand
• Free Online Course (Audit)