{"id":30221,"date":"2024-01-05T12:33:17","date_gmt":"2024-01-05T12:33:17","guid":{"rendered":"https:\/\/chipedge.com\/?p=30221"},"modified":"2024-01-05T12:33:17","modified_gmt":"2024-01-05T12:33:17","slug":"role-of-systemverilog-assertion-in-formal-verification","status":"publish","type":"post","link":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/","title":{"rendered":"Role of SystemVerilog Assertion in Formal Verification"},"content":{"rendered":"

Role of SystemVerilog Assertion in Formal Verification<\/h1>\n

McKinsey & Company<\/a> predicts that by 2030, the semiconductor sector will be worth a trillion dollars. With the increasing demand for semiconductors, it becomes important now more than ever to ensure the correctness and reliability of complex semiconductor chips. One of the crucial techniques that emerged for this process is formal verification. SystemVerilog Assertion(SVA) plays a vital role in formal verification providing a concise and expressive mechanism to specify the desired behavior of a design. In this article, we will delve into the role of SVA in the process of formal verification.<\/p>\n

What is SystemVerilog Assertion?<\/h2>\n

SystemVerilog is a hardware description language employed in digital design to design and verify electronic circuits. It is an extension of the Verilog HDL and provides several new features.<\/p>\n

SVAs are statements that describe the desired behavior of a design. These assertions, expressed in the SystemVerilog language, provide a concise and expressive way to specify properties that a design must satisfy, encompassing temporal logic, safety properties, and liveness properties. Formal verification tools leverage these assertions to check whether the design adheres to the specified behavior, ensuring its adherence to its functionality.\u00a0 If the design does not display the specified behavior, the assertion fails, pointing to a behavior problem in the design.<\/p>\n

\"Job-Oriented<\/a><\/p>\n

Types of SystemVerilog Assertions<\/h2>\n

Immediate Assertions<\/h3>\n

These assertions are checked as soon as they are encountered in the simulation. They are typically used to check for errors or violations that should be detected immediately. For example, an immediate assertion could be used to check that a signal does not change value more than once in a single clock cycle.<\/p>\n

Concurrent Assertions<\/h3>\n

These assertions are checked throughout the simulation, and they can be used to check for properties that may take time to develop. For example, a concurrent assertion could be used to check that a certain sequence of events always occurs.<\/p>\n

What Information Does SystemVerilog Assertions Provide About the Design?<\/h2>\n

In formal verification, SVAs play a crucial role in verifying and validating the behavior of the design. By using\u00a0 SVAs, verification engineers can formally check the following aspects of an RTL design.<\/p>\n

Corner Case Detection<\/h3>\n

Detecting corner cases is an important part of formal verification. Techniques such as assertion-based verification and state-space exploration can help detect corner cases that are not covered by the normal test cases.<\/p>\n

Safety Properties<\/h3>\n

In safety property model checking, states in a model are classified as valid or invalid states. A path to an invalid state signifies a property failure, while the absence of such a path implies that the property holds.<\/p>\n

Liveness Properties<\/h3>\n

A property indicating eventually a behavior will hold which helps in reducing the time consumed for proving a design.<\/p>\n

\"weekend<\/a><\/p>\n

Advantages of SystemVerilog Assertions in Formal Verification<\/h2>\n

The use of\u00a0 SVA in formal verification offers several compelling advantages:<\/p>\n

1. Writing Formal Properties<\/h3>\n

SVAs can examine the data path and internal state of the design.. They provide a rich and versatile language for expressing intricate properties, encompassing temporal logic, safety properties, and liveness properties. This enables the precise specification of design behavior.<\/p>\n

2. Faster Debugging<\/h3>\n

Formal properties offer faster debugging time in proving the correctness of reasonable design sizes<\/p>\n

3. Controllability<\/h3>\n

In formal verification, there is no particular stimulus driving involved. We write the properties concerning a system or a design defining its behavior in SVA. The Formal tool generates a wide range of random stimuli that prove or falsify the properties.<\/p>\n

4. Observability<\/h3>\n

By writing Formal Properties, The design failure can be easily detected as the assertion failure. The formal tool aids in coverage with the entirety of the state space of a design.<\/p>\n

Conclusion<\/h2>\n

There is more to explore SVA in regards to formal verification. The exploration of in-depth mathematical magic can be explored by joining a VLSI institute like Chipedge where the extensive training is going to make oneself an efficient Verification Engineer.<\/p>\n

As the field of VLSI continues to evolve, a VLSI design course<\/a> plays a crucial role in equipping engineers with the skills and knowledge needed to excel in this domain. SVA is an essential topic that should be included in a VLSI online course<\/a> to prepare future engineers for the challenges of modern semiconductor design. As VLSI continues to advance, The use of SVA will remain a significant tool in formal verification, ensuring the reliability and correctness of cutting-edge integrated circuits.<\/p>\n

Explore Self Paced VLSI Courses<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Role of SystemVerilog Assertion in Formal Verification McKinsey & Company predicts that by 2030, the semiconductor sector will be worth […]<\/p>\n","protected":false},"author":3,"featured_media":30222,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[8],"tags":[],"class_list":["post-30221","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-design-verification"],"acf":[],"yoast_head":"\nRole of SystemVerilog Assertion in Formal Verification<\/title>\n<meta name=\"description\" content=\"SystemVerilog Assertion plays a vital role in formal verification providing a concise and expressive mechanism to specify the desired behavior of a design.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Role of SystemVerilog Assertion in Formal Verification\" \/>\n<meta property=\"og:description\" content=\"SystemVerilog Assertion plays a vital role in formal verification providing a concise and expressive mechanism to specify the desired behavior of a design.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/\" \/>\n<meta property=\"og:site_name\" content=\"chipedge\" \/>\n<meta property=\"article:published_time\" content=\"2024-01-05T12:33:17+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"2310\" \/>\n\t<meta property=\"og:image:height\" content=\"1540\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\n<meta name=\"author\" content=\"Akshaya Hegde\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Akshaya Hegde\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":[\"Article\",\"BlogPosting\"],\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/\"},\"author\":{\"name\":\"Akshaya Hegde\",\"@id\":\"https:\/\/chipedge.com\/resources\/#\/schema\/person\/015e7b973d12db5559fdac2c6ae58b25\"},\"headline\":\"Role of SystemVerilog Assertion in Formal Verification\",\"datePublished\":\"2024-01-05T12:33:17+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/\"},\"wordCount\":736,\"publisher\":{\"@id\":\"https:\/\/chipedge.com\/resources\/#organization\"},\"image\":{\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp\",\"articleSection\":[\"Design Verification\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/\",\"url\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/\",\"name\":\"Role of SystemVerilog Assertion in Formal Verification\",\"isPartOf\":{\"@id\":\"https:\/\/chipedge.com\/resources\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp\",\"datePublished\":\"2024-01-05T12:33:17+00:00\",\"description\":\"SystemVerilog Assertion plays a vital role in formal verification providing a concise and expressive mechanism to specify the desired behavior of a design.\",\"breadcrumb\":{\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage\",\"url\":\"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp\",\"contentUrl\":\"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp\",\"width\":2310,\"height\":1540,\"caption\":\"SystemVerilog Assertion\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/chipedge.com\/resources\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Role of SystemVerilog Assertion in Formal Verification\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/chipedge.com\/resources\/#website\",\"url\":\"https:\/\/chipedge.com\/resources\/\",\"name\":\"chipedge\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/chipedge.com\/resources\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/chipedge.com\/resources\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/chipedge.com\/resources\/#organization\",\"name\":\"chipedge\",\"url\":\"https:\/\/chipedge.com\/resources\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/chipedge.com\/resources\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2025\/01\/logo.png\",\"contentUrl\":\"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2025\/01\/logo.png\",\"width\":156,\"height\":40,\"caption\":\"chipedge\"},\"image\":{\"@id\":\"https:\/\/chipedge.com\/resources\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/chipedge.com\/resources\/#\/schema\/person\/015e7b973d12db5559fdac2c6ae58b25\",\"name\":\"Akshaya Hegde\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/aa6e52ae44e481f99d88a45f214975399b50e6c2f6d103e51722524ce8cad962?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/aa6e52ae44e481f99d88a45f214975399b50e6c2f6d103e51722524ce8cad962?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/aa6e52ae44e481f99d88a45f214975399b50e6c2f6d103e51722524ce8cad962?s=96&d=mm&r=g\",\"caption\":\"Akshaya Hegde\"},\"url\":\"https:\/\/chipedge.com\/resources\/author\/akshaya\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Role of SystemVerilog Assertion in Formal Verification","description":"SystemVerilog Assertion plays a vital role in formal verification providing a concise and expressive mechanism to specify the desired behavior of a design.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/","og_locale":"en_US","og_type":"article","og_title":"Role of SystemVerilog Assertion in Formal Verification","og_description":"SystemVerilog Assertion plays a vital role in formal verification providing a concise and expressive mechanism to specify the desired behavior of a design.","og_url":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/","og_site_name":"chipedge","article_published_time":"2024-01-05T12:33:17+00:00","og_image":[{"width":2310,"height":1540,"url":"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp","type":"image\/webp"}],"author":"Akshaya Hegde","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Akshaya Hegde","Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":["Article","BlogPosting"],"@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#article","isPartOf":{"@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/"},"author":{"name":"Akshaya Hegde","@id":"https:\/\/chipedge.com\/resources\/#\/schema\/person\/015e7b973d12db5559fdac2c6ae58b25"},"headline":"Role of SystemVerilog Assertion in Formal Verification","datePublished":"2024-01-05T12:33:17+00:00","mainEntityOfPage":{"@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/"},"wordCount":736,"publisher":{"@id":"https:\/\/chipedge.com\/resources\/#organization"},"image":{"@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage"},"thumbnailUrl":"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp","articleSection":["Design Verification"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/","url":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/","name":"Role of SystemVerilog Assertion in Formal Verification","isPartOf":{"@id":"https:\/\/chipedge.com\/resources\/#website"},"primaryImageOfPage":{"@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage"},"image":{"@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage"},"thumbnailUrl":"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp","datePublished":"2024-01-05T12:33:17+00:00","description":"SystemVerilog Assertion plays a vital role in formal verification providing a concise and expressive mechanism to specify the desired behavior of a design.","breadcrumb":{"@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#primaryimage","url":"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp","contentUrl":"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2024\/01\/3d-rendering-quantum-processor-quantum-computerai-technology-generated-image_11zon_11zon.webp","width":2310,"height":1540,"caption":"SystemVerilog Assertion"},{"@type":"BreadcrumbList","@id":"https:\/\/chipedge.com\/resources\/role-of-systemverilog-assertion-in-formal-verification\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/chipedge.com\/resources\/"},{"@type":"ListItem","position":2,"name":"Role of SystemVerilog Assertion in Formal Verification"}]},{"@type":"WebSite","@id":"https:\/\/chipedge.com\/resources\/#website","url":"https:\/\/chipedge.com\/resources\/","name":"chipedge","description":"","publisher":{"@id":"https:\/\/chipedge.com\/resources\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/chipedge.com\/resources\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/chipedge.com\/resources\/#organization","name":"chipedge","url":"https:\/\/chipedge.com\/resources\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/chipedge.com\/resources\/#\/schema\/logo\/image\/","url":"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2025\/01\/logo.png","contentUrl":"https:\/\/chipedge.com\/resources\/wp-content\/uploads\/2025\/01\/logo.png","width":156,"height":40,"caption":"chipedge"},"image":{"@id":"https:\/\/chipedge.com\/resources\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/chipedge.com\/resources\/#\/schema\/person\/015e7b973d12db5559fdac2c6ae58b25","name":"Akshaya Hegde","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/aa6e52ae44e481f99d88a45f214975399b50e6c2f6d103e51722524ce8cad962?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/aa6e52ae44e481f99d88a45f214975399b50e6c2f6d103e51722524ce8cad962?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/aa6e52ae44e481f99d88a45f214975399b50e6c2f6d103e51722524ce8cad962?s=96&d=mm&r=g","caption":"Akshaya Hegde"},"url":"https:\/\/chipedge.com\/resources\/author\/akshaya\/"}]}},"_links":{"self":[{"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/posts\/30221","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/comments?post=30221"}],"version-history":[{"count":0,"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/posts\/30221\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/media\/30222"}],"wp:attachment":[{"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/media?parent=30221"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/categories?post=30221"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/chipedge.com\/resources\/wp-json\/wp\/v2\/tags?post=30221"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}