{"version":"0.1","company":{"name":"YubHub","url":"https://yubhub.co","jobsUrl":"https://yubhub.co/jobs/skill/formal-verification-tools"},"x-facet":{"type":"skill","slug":"formal-verification-tools","display":"Formal Verification Tools","count":4},"x-feed-size-limit":100,"x-feed-sort":"enriched_at desc","x-feed-notice":"This feed contains at most 100 jobs (the most recently enriched). For the full corpus, use the paginated /stats/by-facet endpoint or /search.","x-generator":"yubhub-xml-generator","x-rights":"Free to redistribute with attribution: \"Data by YubHub (https://yubhub.co)\"","x-schema":"Each entry in `jobs` follows https://schema.org/JobPosting. YubHub-native raw fields carry `x-` prefix.","jobs":[{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_e9f1bd1b-7f3"},"title":"ASIC Digital Verification Staff Engineer","description":"<p>Our Hardware Engineers at Synopsys are responsible for designing and developing cutting-edge semiconductor solutions. They work on intricate tasks such as chip architecture, circuit design, and verification to ensure the efficiency and reliability of semiconductor products.</p>\n<p>At Synopsys, we drive the innovations that shape the way we live and connect. Our technology powers the Era of Pervasive Intelligence, from self-driving cars to learning machines. Join us to transform the future through technological innovation.</p>\n<p>You are a skilled ASIC Digital Design Engineer with over 5 years of design verification experience. You thrive in collaborative settings, communicate clearly, and have a strong technical foundation in simulation tools and scripting. Driven by curiosity and a passion for technology, you’re eager to make an impact on Data Center, AI/ML, and 5G solutions.</p>\n<p>Developing and validating high-speed interface IP in digital/mixed-signal environments. Planning tests, coverage, and assertions for robust verification. Building verification environments from specifications. Applying advanced techniques: constrained random, coverage, assertions, formal verification. Debugging simulations and performing RTL, GLS, and co-simulations. Supporting customers and improving development processes.</p>\n<p>Advance Synopsys’ IP quality and reliability. Accelerate development for Data Center, AI/ML, and 5G. Drive innovation through modern verification methods. Ensure customer success with seamless IP integration. Enhance team collaboration and workflow.</p>\n<p>BS/MS/PhD in Electronics Engineering or related field. 6+ years in design verification. Experience with VCS/Verdi and formal verification tools. Knowledge of UPF, UVM, SVA is a plus. Debugging and Perl/TCL/Python scripting skills.</p>\n<p>Responsible, results-driven, and a strong communicator. Team-oriented and supportive. Self-motivated and enthusiastic about technology.</p>\n<p>Work with a talented group of engineers developing high-performance IP for cutting-edge applications, in a collaborative and inclusive environment.</p>\n<p>We offer a comprehensive range of health, wellness, and financial benefits. Your recruiter will share more details during the hiring process.</p>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_e9f1bd1b-7f3","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Synopsys","sameAs":"https://careers.synopsys.com","logo":"https://logos.yubhub.co/careers.synopsys.com.png"},"x-apply-url":"https://careers.synopsys.com/job/ho-chi-minh-city/asic-digital-verification-staff-engineer-in-hcmc-da-nang-hanoi/44408/94181260400","x-work-arrangement":"onsite","x-experience-level":"staff","x-job-type":"full-time","x-salary-range":null,"x-skills-required":["VCS/Verdi","Formal verification tools","UPF","UVM","SVA","Perl/TCL/Python scripting"],"x-skills-preferred":[],"datePosted":"2026-04-24T14:16:13.540Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Ho Chi Minh City"}},"employmentType":"FULL_TIME","occupationalCategory":"Engineering","industry":"Technology","skills":"VCS/Verdi, Formal verification tools, UPF, UVM, SVA, Perl/TCL/Python scripting"},{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_24670b19-cee"},"title":"Digital Verification Sr Engineer","description":"<p>You are a passionate and experienced ASIC Digital Design Engineer with a strong background in design verification. You thrive in a collaborative environment and have a keen eye for detail. Your technical expertise is complemented by your ability to communicate effectively and work well within a team. You are self-motivated and enthusiastic about technology and problem-solving. With a minimum of 5 years of experience in design verification, you have honed your skills in using simulation tools, scripting languages, and advanced verification techniques. You have a solid understanding of digital and mixed-signal designs and are eager to contribute to cutting-edge technologies that enable Data Center, AI/ML, and 5G applications.</p>\n<p>Your key responsibilities will include working in a Digital and Verification Development team during the development and validation of complex digital mixed signals for high-speed interface IP. You will plan tests, checklists, coverage, and assertion planning. You will create detailed verification environments from functional specifications. You will apply advanced verification techniques like constrained random generation, functional coverage, assertions, and formal verification. You will write test cases, checkers, and coverage that implement the verification test plan. You will debug simulations, including those of real signals modeled using SystemVerilog for analog. You will perform RTL, GLS, and co-simulations and ensure coverage closure. You will participate in technical reviews and contribute actively. You will provide customer support with the bring-up of IP in customer simulation environments. You will follow and improve development processes to ensure high-quality output.</p>\n<p>To be successful in this role, you will need a BS/MS/PhD in Electronics Engineering, Electromechanics, Telecommunications. You will require 2+ years of experience in design verification. You will need strong skills with VCS/Verdi simulation tools and formal verification tools (vc_formal). Knowledge of UPF, UVM (Universal Verification Methodology), and SVA (SystemVerilog Assertion) is a plus. You will require proficiency in debugging and demonstrated experience in Perl/TCL/Python scripting is a plus.</p>\n<p>As a highly responsible and result-oriented individual, you will excel in this role if you have excellent English communication skills, both verbal and written. You will be a great team player, willing to support others. You will be self-motivated and highly enthusiastic about technology and solving problems.</p>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_24670b19-cee","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Synopsys","sameAs":"https://careers.synopsys.com","logo":"https://logos.yubhub.co/careers.synopsys.com.png"},"x-apply-url":"https://careers.synopsys.com/job/ho-chi-minh-city/digital-verification-sr-engineer/44408/92669904832","x-work-arrangement":"onsite","x-experience-level":"senior","x-job-type":"full-time","x-salary-range":null,"x-skills-required":["VCS/Verdi simulation tools","Formal verification tools (vc_formal)","UPF","UVM (Universal Verification Methodology)","SVA (SystemVerilog Assertion)","Perl/TCL/Python scripting"],"x-skills-preferred":[],"datePosted":"2026-04-05T13:21:58.502Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Ho Chi Minh City"}},"employmentType":"FULL_TIME","occupationalCategory":"Engineering","industry":"Technology","skills":"VCS/Verdi simulation tools, Formal verification tools (vc_formal), UPF, UVM (Universal Verification Methodology), SVA (SystemVerilog Assertion), Perl/TCL/Python scripting"},{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_74dccfda-69a"},"title":"Digital Verification Sr Engineer","description":"<p>Our organisation is seeking a passionate and experienced ASIC Digital Design Engineer with a strong background in design verification to join our Digital and Verification Development team.</p>\n<p>As a Digital Verification Sr Engineer, you will be responsible for working in a collaborative environment to develop and validate complex digital mixed signals for high-speed interface IP.</p>\n<p>Key responsibilities include:\nPlanning tests, checklists, coverage, and assertion planning.\nCreating detailed verification environments from functional specifications.\nApplying advanced verification techniques like constrained random generation, functional coverage, assertions, and formal verification.\nWriting test cases, checkers, and coverage that implement the verification test plan.\nDebugging simulations, including those of real signals modeled using SystemVerilog for analog.\nPerforming RTL, GLS, and co-simulations and ensuring coverage closure.\nParticipating in technical reviews and contributing actively.\nProviding customer support with the bring-up of IP in customer simulation environments.\nFollowing and improving development processes to ensure high-quality output.</p>\n<p>Requirements include:\nBS/MS/PhD in Electronics Engineering, Electromechanics, Telecommunications.\n2+ years of experience in design verification.\nStrong skills with VCS/Verdi simulation tools and formal verification tools (vc_formal).\nKnowledge of UPF, UVM (Universal Verification Methodology), and SVA (SystemVerilog Assertion) is a plus.\nProficiency in debugging and demonstrated experience in Perl/TCL/Python scripting is a plus.</p>\n<p>Ideal candidate will be highly responsible and result-oriented, with excellent English communication skills, both verbal and written.\nA great team player, willing to support others.\nSelf-motivated and highly enthusiastic about technology and solving problems.</p>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_74dccfda-69a","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Synopsys","sameAs":"https://careers.synopsys.com","logo":"https://logos.yubhub.co/careers.synopsys.com.png"},"x-apply-url":"https://careers.synopsys.com/job/da-nang/digital-verification-sr-engineer/44408/92715864496","x-work-arrangement":"onsite","x-experience-level":"senior","x-job-type":"employee","x-salary-range":null,"x-skills-required":["VCS/Verdi simulation tools","Formal verification tools (vc_formal)","UPF","UVM (Universal Verification Methodology)","SVA (SystemVerilog Assertion)","Perl/TCL/Python scripting"],"x-skills-preferred":[],"datePosted":"2026-04-05T13:21:13.133Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Da Nang"}},"occupationalCategory":"Engineering","industry":"Technology","skills":"VCS/Verdi simulation tools, Formal verification tools (vc_formal), UPF, UVM (Universal Verification Methodology), SVA (SystemVerilog Assertion), Perl/TCL/Python scripting"},{"@context":"https://schema.org","@type":"JobPosting","identifier":{"@type":"PropertyValue","name":"YubHub","value":"job_1421653b-c51"},"title":"ASIC Digital Design, Sr Staff Engineer","description":"<p>Opening. Our team is looking for a skilled ASIC Digital Design Engineer to join our team in Ho Chi Minh City.</p>\n<p><strong>What you&#39;ll do</strong></p>\n<ul>\n<li>Working in a Digital and Verification Development team during the development and validation of complex digital mixed signals for high-speed interface IP.</li>\n<li>Planning tests, checklists, coverage, and assertion planning.</li>\n<li>Creating detailed verification environments from functional specifications.</li>\n<li>Applying advanced verification techniques like constrained random generation, functional coverage, assertions, and formal verification.</li>\n<li>Writing test cases, checkers, and coverage that implement the verification test plan.</li>\n<li>Debugging simulations, including those of real signals modeled using SystemVerilog for analog.</li>\n<li>Performing RTL, GLS, and co-simulations and ensuring coverage closure.</li>\n<li>Participating in technical reviews and contributing actively.</li>\n<li>Providing customer support with the bring-up of IP in customer simulation environments.</li>\n<li>Following and improving development processes to ensure high-quality output.</li>\n</ul>\n<p><strong>What you need</strong></p>\n<ul>\n<li>BS/MS/PhD in Electronics Engineering, Electromechanics, Telecommunications.</li>\n<li>8+ years of experience in design verification.</li>\n<li>Strong skills with VCS/Verdi simulation tools and formal verification tools (vc_formal).</li>\n<li>Knowledge of UPF, UVM (Universal Verification Methodology), and SVA (SystemVerilog Assertion) is a plus.</li>\n<li>Proficiency in debugging and demonstrated experience in Perl/TCL/Python scripting is a plus.</li>\n</ul>\n<p style=\"margin-top:24px;font-size:13px;color:#666;\">XML job scraping automation by <a href=\"https://yubhub.co\">YubHub</a></p>","url":"https://yubhub.co/jobs/job_1421653b-c51","directApply":true,"hiringOrganization":{"@type":"Organization","name":"Synopsys","sameAs":"https://careers.synopsys.com","logo":"https://logos.yubhub.co/careers.synopsys.com.png"},"x-apply-url":"https://careers.synopsys.com/job/ho-chi-minh-city/asic-digital-design-sr-staff-engineer-verification/44408/89830689008","x-work-arrangement":"onsite","x-experience-level":"senior","x-job-type":"full-time","x-salary-range":null,"x-skills-required":["VCS/Verdi simulation tools","formal verification tools","UPF","UVM","SVA"],"x-skills-preferred":["Perl/TCL/Python scripting"],"datePosted":"2025-12-24T12:04:34.403Z","jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Ho Chi Minh City"}},"employmentType":"FULL_TIME","occupationalCategory":"Engineering","industry":"Technology","skills":"VCS/Verdi simulation tools, formal verification tools, UPF, UVM, SVA, Perl/TCL/Python scripting"}]}