Wilmington --

WHEN: 8:00 p.m. until 5:00 a.m., pending weather.

Monday, March 16, 2020 through Saturday, March 21, 2020

WHERE: I-95 Northbound/Southbound between Jackson Street and Lovering Avenue, Wilmington.

WHAT: DelDOT announces to motorists that the right lane and shoulder will be closed on I-95 northbound and southbound for soil boring samples to be drilled to evaluate the subsurface investigations for the I-95 Vaiduct interchange project. [More]

Lewes --

WHEN: 6:00 a.m. until 9:00 a.m. on Sunday, March 22, 2020

WHERE: Route 24/John J. Williams Highway between Hollymount Road and Robinsonville Road at Burtons Pond near Lewes

WHAT: DelDOT announces to motorists that a portion of Route 24/John J. Williams Highway will be closed at Burtons Pond to place a barge in the pond. [More]

Newark --

DelDOT announces to motorists that soil boring samples will be drilled to evaluate the geotechnical subgrade for the I-95 and SR 896 interchange project. Due to the size of the equipment, there will be lane and shoulder closures on I-95 northbound and southbound. The contractor for the soil borings is Navarro & Wright Consulting Engineers, Inc. [More]

Wilmington --

DelDOT announces to motorists that the right lane and shoulder will be closed on I-95 southbound and Ramps on I-95 for soil boring samples to be drilled to evaluate the geotechnical subgrade for the Rehabilitation of I-95 from I-495 to north of Brandywine River Bridge project.

Variable message boards will be posted to notify motorists of the upcoming lane and ramp closures.

Motorists should be aware that construction personnel and equipment will be operating in close proximity to the travel lanes and anticipate lane shifts. [More]

Governor Carney’s State of Emergency declaration, starting Tuesday, April 28, requires the wearing of face coverings on public transportation until further notice.  To comply, passengers* must wear face coverings when riding any DART bus, fixed route or paratransit, or SEPTA train, and while waiting at a bus stop or train station with others.  Those not wearing face coverings will not be allowed to board the bus or train.  Please continue to practice social distancing. Thank you for your cooperation.

*children 12 years and under are not required to wear a face covering nor are individuals who are unable to wear a face covering due to a medical condition; children ages 2 and under must not wear them.

DOVER – DNREC’s Division of Fish & Wildlife will host joint Atlantic States Marine Fisheries Commission (ASMFC)/Mid-Atlantic Fishery Management Council (MAFMC) public fisheries scoping hearings on Wednesday, Feb. 19 in DNREC’s Auditorium, 89 Kings Highway, Dover, DE 19901. A Summer Flounder, Scup, and Black Sea Bass Commercial/Recreational Allocation Amendment hearing will begin at 6 p.m., followed by a Bluefish Allocation and Rebuilding Amendment hearing at 7 p.m. The Summer Flounder, Scup, and Black Sea Bass Commercial/Recreational Allocation Amendment will consider potential modifications to commercial and recreational catch allocations for summer flounder, scup, and black sea bass in consideration of updated recreational and commercial fishing catch estimates.

WILMINGTON, Del. – Governor John Carney on Wednesday signed the ninth modification to his State of Emergency declaration, further limiting public gatherings and ordering essential businesses to take specific steps to enforce social distancing and fight the spread of coronavirus disease 2019 (COVID19). Governor Carney’s modified emergency order limits public gatherings to 10 people through […]

NEW CASTLE (April 17, 2020) – The Delaware Department of Health and Social Services’ Division of Services for Aging and Adults with Physical Disabilities will seek public comment on its proposed State Plan on Aging for the period of October 2020 through September 2024. The state plan has been developed to meet requirements under Title […]

Children 2-years-old and younger should not wear face coverings due to suffocation risk WILMINGTON, Del. – Governor John Carney on Saturday issued the thirteenth modification to his State of Emergency declaration, requiring Delawareans to wear face coverings in public settings, including in grocery stores, convenience stores, pharmacies, doctor’s offices, and on public transportation. Governor Carney’s […]

FOR IMMEDIATE RELEASE Media Contacts: Cynthia Cavett, Marketing Specialist & Public Information Officer Delaware Office of Highway Safety Cynthia.Cavett@delaware.gov 302-744-2743 DUI Initiative Running From July 3rd Through July 7th DOVER, De. (July 1, 2019) – The Delaware Office of Highway Safety (OHS) is pleased to announce that it is reactivating its SoberLift program, in partnership […]

The coronavirus pandemic has dealt a massive blow to the hirings trend in the last month with the employment rate slipping by a massive 62% as compared to last year.

Xiaomi had a massive announcement today in India - the company finally introduced the Mi 10 smartphone, the Mi True Wireless Earphones 2, and also unveiled the Mi Box 4K - an Android TV gadget for streaming video content with voice-assisted remote control. The Xiaomi Mi 10 comes with Snapdragon 865 chipset and 8 GB RAM, while storage is either 128 GB or 256 GB. The price is INR49,999 ($660/€610) or INR54,999 ($727/€672), but some fans might be disappointed to learn that the Mi 10 Pro won't be arriving in India for now. They are left with the vanilla version that has a 108 MP main...

Launched in 2010 to mark the 30th anniversary of the launch of the original Pac-Man video game, the game was Google’s first playable doodle.

As a result, no foreign player will be available for the IPL till April 15. Before that, the shooting World Cup and the Indian Open golf tournament were postponed while badminton's India Open will be played without any spectators.

The nationwide lockdown suspended the operation of international flights and such people were had to prolong their stay in India. They were concerned that the extra stay due to lockdown may make them a resident of India for tax purposes under section 6 of the Act.

Large gatherings at sports and other events in Oregon should either be canceled or significantly modified through September because of the coronavirus pandemic, Gov. Kate Brown announced Thursday.

Formal verification is a complex technology that has traditionally required experts or specialized teams who stood apart from the IC design and verification flow. Taking a different approach, a new release of the Cadence JasperGold formal verification platform (June 8, 2015) provides formal techniques that complement simulation, emulation, and debugging in the form of “Apps” or under-the-hood solutions that any design or verification engineer can use.

JasperGold was the initial (in fact only) product of Jasper Design Automation, acquired by Cadence in 2014. Jasper pioneered the formal Apps concept several years ago. While the company had previously sold JasperGold as a one-size-fits-all solution, Jasper began selling semi-automated JasperGold Apps that solved specific problems using formal analysis technology.

The new release is the next generation of JasperGold and will be available later this month. It includes three major improvements over previous Cadence and Jasper formal analysis offerings:

• A unified Cadence Incisive and JasperGold formal verification platform delivers up to 15X performance gain over previous solutions.
• JasperGold is integrated into the Cadence System Development Suite, where it provides formal-assisted simulation, emulation, and coverage. As a result, System Development Suite users can find bugs three months earlier than existing verification methods.
• JasperGold’s formal analysis engines are integrated with the recently announced Indago debug platform, automating root cause analysis and on-the-fly, what-if exploration.

Best of Both Formal Verification Worlds

Taking advantage of technologies from both Cadence and Jasper, the new JasperGold represents a “best of both worlds” solution, according to Pete Hardee, product management director at Cadence. This solution combines technologies from the Cadence Incisive Enterprise Verifier and Incisive Formal Verifier with JasperGold formal analysis engines.

For example, to ease migration from Incisive formal tools, Cadence has integrated an Incisive common front end into the JasperGold apps platform. Jasper formal engines can run within the Incisive run-time environment. Cadence has also brought some selected Incisive formal engines into JasperGold.

As shown to the right, the JasperGold platform supports both the existing JasperGold front-end parser and the Incisive front-end parser. Hardee observed that this dual parser arrangement simplifies migration from Incisive formal tools to JasperGold, and provides a common compilation environment for people who want to use JasperGold with Incisive simulation. Further, the common run-time environment enables formal-assisted simulation.

The combination of JasperGold engines and Incisive engines supports two use models for formal analysis: formal proofs and bug hunting. In the first case, formal engines try all combinations of inputs without a testbench. The test is driven by formal properties written in languages such as SVA (SystemVerilog assertions) or PSL (Property Specification Language). Completion of a property is exhaustive proof that something can or cannot happen. This provides a “much stronger result” than simulation, Hardee said.

He also noted that formal analysis doesn’t necessarily require that all properties are completed. “You can get a lot of value even if proofs don’t complete,” he said. “Proofs that run deep enough to find bugs are just fine.”

Bug hunting involves random searches, and JasperGold bug hunting engines are very fast. However, these engines don’t necessarily use the most optimal path to get to a bug. So, Cadence engineers brought a constraint solver from Incisive and integrated it into JasperGold. “It looks at the constraints in the environment and gives you a better starting point,” Hardee said. “It takes more up-front time, but once you’ve done that the bug hunting engines can actually take a shorter path and find a bug a lot quicker.”

Another new JasperGold capability from the Incisive Formal Verifier is called “search pointing.” This uses simulation to penetrate deeply into the state space, and then kicks off a random formal search from a given point that you’ve reached in simulation. This technique makes it possible to find bugs that are very deep in the design.

It is probably clear by now that a number of different formal “engines” may be required to solve a given verification problem. Traditionally, a formal tool (or user) will farm a problem out to many engines and see which one works best. To put more intelligence into that process, Cadence launched the Trident “multi-cooperating engine” a couple of years ago. That has now been brought into JasperGold, where it helps “orchestrate” the engines according to what will work best for the design. This is a big part of the reason for the 15X speedup noted earlier in this post.

Integration with System Development Suite

The Cadence System Development Suite is an integrated set of hardware/software development and verification engines, including virtual prototyping, Incisive simulation, emulation, and FPGA-based prototyping. As shown below, JasperGold technology is integrated into the System Development Suite in several places, including formal-assisted debug, formal-assisted verification closure, formal-assisted simulation, formal-assisted emulation, and the Incisive vManager verification planning tool.

Formal-assisted emulation sounds like it should be easy, especially since Cadence has both accelerated verification IP (VIP) and assertion-based VIP. However, there’s a complication. Accelerated VIP represents less verification content than simulation VIP, because you have to remove many checkers to get VIP to compile on a Palladium emulator. That’s because the Palladium requires synthesizable code.

What you can do, however, is use assertion-based VIP in “snoop mode” as shown below. Assertion-based VIP coded in synthesizable SystemVerilog can replace the missing checkers in accelerated VIP. In this diagram, everything in the green box is running in the emulator and is thus completely accelerated.

Another example of formal-assisted emulation has to do with deep traces. As Hardee noted, emulation will produce very long traces, and it can be very difficult to find a point of interest in the trace and determine what caused an error. With formal-assisted emulation, users can find interesting events within the traces and create properties that mark them, so a debugger can find these events and trace back to the root cause.

Formal-assisted verification closure is available with the new JasperGold release. This is possible because you can use the vManager product to determine which tasks were completed by formal engines. It’s important information for verification managers who are not used to formal tools, Hardee noted.

Another aspect of formal-assisted verification closure is the JasperGold Unreachability Analysis (UNR) App, which can save simulation users weeks of time and effort. This App takes in the simulation coverage database and RTL, and automatically generates properties to explore coverage holes and determine if holes are reachable or unreachable. The App then generates an unreachable coverage point database. If the unreachable code does something useful, there’s a bug in the design or the testbench; if not, you don’t have to worry about it. The diagram below shows how it works.

Formal-Assisted Debugging

The third major component of the JasperGold announcement is the integration of formal analysis into the Indago debugging platform. As shown below, this platform has several apps, including the Indago Debug Analyzer. Two formal debug capabilities from the Jasper Visualize environment have been added to the the Indago Debug Analyzer:

• Highlight Relevant Logic: This highlights the “cone of influence,” or the logic that is involved in reaching a given point
• Why: This button highlights the immediate causes for a given event, and allows users to trace backwards in time

More formal capabilities will come with the Indago Advanced Debug Analyzer app, scheduled for release towards the end of 2015. This includes Quiet Trace, a Jasper capability that reduces trace activity to transactions relevant to an event. Also, a what-if analysis allows on-the-fly trace editing and recalculation to explore effects and sensitivities, without having to re-compile and re-execute the simulation.

Finally, Cadence has a Superlint flow that is now fully integrated with the JasperGold Visualize debugger. This two-tiered flow includes a basic lint capability as well as automated formal analysis based on the JasperGold Structural Property Synthesis app. “This could be a very good entry point for designers to start using formal,” Hardee said.

“Formal is taking off,” Hardee concluded. “People are no longer talking about return on investment for formal—they have established that. Now they’re supporting a proliferation of formal in their companies such that a wider set of people experience the benefit from that proven return on investment.”

Further information is available at the JasperGold Formal Verification Platform (Apps) page.

Richard Goering

Related Blog Posts

- JUG Keynote—How Jasper Formal Verification Technology Fits into the Cadence Flow

- Why Cadence Bought Jasper—A New Era in Formal Analysis

- Q&A: An R&D Perspective on Formal Verification—Past, Present and Future

Hi,

I'm a newbie and I'm working on a mixed-signal chip in Innovus. I've got a few analog LEF files that I've imported into my floorplan as macros.

My chip has got two power domains - VCC and VBAT.

One of the macro in the VBAT domain uses VBAT and GND as power rails myloweslife.com.

On doing Special-Route, I've got a lot of minute power rails for the standard cells, as expected.

But, the VBAT power rails are not getting extended till the outer power rings. Only the GND rails are correctly getting extended till the outer power rings.

A screen shot is attached for reference.

Thanks for any help

Hi,

I'm a newbie and I'm working on a mixed-signal chip in Innovus. I've got a few analog LEF files that I've imported into my floorplan as macros.

My chip has got two power domains - VCC and VBAT.

One of the macro in the VBAT domain uses VBAT and GND as power rails KrogerFeedback.com.

On doing Special-Route, I've got a lot of minute power rails for the standard cells, as expected.

But, the VBAT power rails are not getting extended till the outer power rings. Only the GND rails are correctly getting extended till the outer power rings.

A screen shot is attached for reference.

Thanks for any help

Belarus’s Great Stone Industrial Park is another ambitious Belt and Road Initiative venture, designed to evolve into a smart city and industrial hub. But what are the benefits for Belarus or China? Jacopo Dettoni and Wendy Atkins report.

Belarus may be unfamiliar to many Westerners but the eastern European country plans to boost its profile by leveraging its location and ease of doing business credentials to ramp up investment from both east and west. 

POWERGEN International Week truly begins Monday, Nov. 18 with POWERGEN University. This year’s set of three, four and eight-hour PGU classes include detail educations on crucial power generation topics such as effective project management, gas turbine long-term service agreements, safety processes, digitalization, business plans for emerging markets, microgrids, cogeneration, machine learning, boiler technologies, building the generation fleet of the future and the consideration of natural gas vs. diesel for on-site power gen-sets.

In conjunction with North America’s Smart Energy Week, LG Electronics (LG) is underscoring its role as a top player within the U.S. residential solar market at the 2019 Solar Power International Conference.

POWERGEN International Week truly begins Monday, Nov. 18 with POWERGEN University. This year’s set of three, four and eight-hour PGU classes include detail educations on crucial power generation topics such as effective project management, gas turbine long-term service agreements, safety processes, digitalization, business plans for emerging markets, microgrids, cogeneration, machine learning, boiler technologies, building the generation fleet of the future and the consideration of natural gas vs. diesel for on-site power gen-sets.

Lignum Vitae North America LLC will donate bearings to any of the 20 teams advancing to the next phase in the Wave Energy Prize Challenge sponsored by the U.S. Department of Energy’s Water Power Program.  

When asked whether employees have the legal right to bring a lawyer to internal disciplinary hearings, most employers would say no. Indeed, most organisations have formulated policies around the statutory provisions, which refe...

...

Summary: The Supreme Court handed down its long anticipated judgment in the case of Travellers Insurance Company Limited v XYZ [2019] UKSC 48 on 31 October 2019. The appellant, Travelers Insurance Company Limited (“Travelers”) was succes...

The Courts Service has initiated a pilot virtual hearing programme (“Pilot Programme”), with Courts of a number of jurisdictions participating, in light of the ongoing nationwide Covid-19 restrictions. It is anticipated that, following c...

Mother's Day weekend got off to an unseasonably snowy start in the northeast Saturday thanks to the polar vortex.

(MENAFN - IANS) New Delhi, May 9 (IANS) National carrier Air India on Saturday brought back 129 evacuees from Dhaka to the national capital's IGI Air... ......

Women in camps worry they will find little aid if they become victims of physical or sexual violence.

The Fukuoka group has released its first major-label mini-album, and is firmly looking forward.

Shinichiro Ueda reunites the cast of his hit comedy "One Cut of the Dead" for an innovative teleworking sequel

The Courts Service is to increase virtual hearings and extend the use of physical distancing in courtrooms to allow more cases to be dealt with in the coming weeks.

Specially updated edition of acclaimed book ‘Witness’ uses embedded barcodes connecting to video testimony of 75 Holocaust survivors, rescuers or WWII liberators.

No one caught breaking mandatory quarantine

After two decades of dryness, enough rains have finally come to bring Hamoun wetland back to life in the southeastern Iranian province of Sistan-Baluchestan, reviving agriculture in the region as well. Hamoun is the third-largest lake of Iran after the Caspian Sea and Urmia Lake.

Donald Trump has not donned one. Emmanuel Macron boasted a small French flag on his. Slovakia’s president made a fashion statement by sporting a fuchsia-coloured one to match her outfit.As the world starts emerging from coronavirus lockdowns, political leaders are being closely scrutinised over their choice to wear a mask – or not – with many people questioning the seemingly mixed messages about the value of face coverings as infection barriers.Many Western governments counselled against face…

It is about 7pm when Muslim community leader Raheel Ahmed, 57, gathers with his wife, two sons and daughter for a home-made meal of dates, rice and spicy curried chicken, salad, fresh fruit and juice.For this Hong Kong family of Pakistani origin, it is their first meal after fasting for more than 12 hours, as this is the Islamic holy month of Ramadan.The world’s 1.8 billion Muslims mark the month by abstaining from food or drink from sunrise to sunset, and gathering as a community in mosques to…

PARIS: Donald Trump has not donned one. Emmanuel Macron boasted a small French flag on his. Slovakia´s president made a fashion statement by sporting a fuchsia-coloured one to match her outfit.As the world starts emerging from coronavirus lockdowns, political leaders are being closely...

ADB's food distribution program for Metro Manila and nearby areas reaches more than 100,000 needy households. affected by community quarantine due to COVID-19.

CES 2015, LAS VEGAS – HARMAN, the premium global audio, visual, infotainment and enterprise automation group (NYSE:HAR), introduced today at CES 2015 the Infinity® BassLink SM, the latest subwoofer in the BassLink line. The compact under seat subwoofer is designed to reinforce the low-end bass performance in vehicles and put the richness back into the music.

For its 69th edition, basketball enthusiasts across the country gathered in the Windy City and home of the Chicago Bulls, to celebrate the National Basketball Association’s (NBA) annual All-Star Celebration.     As a proud and longstanding partner of...

CES 2020, LAS VEGAS – JANUARY 6, 2020 – Turn up the volume, because the latest speaker in the JBL portables portfolio is here and it does not disappoint. JBL’s Boombox 2 provides JBL Original Pro Sound with big bass, clear mids and smooth highs in an...

The world has changed – and there may be no going back. In the face of the COVID-19 epidemic, millions of people across the globe have taken up the rallying cry of “stay at home” in...

A communications network secured by the laws of quantum physics would be unhackable, but building one requires a component called a quantum memory, which is still being developed