In the gold loan category, which accounts for 87% of our standalone portfolio, more than 90% are servicing their dues.

Karnataka Tourism’s flagship luxury train, the Golden Chariot is now available for charter at only $70000 (Rs. 3,500,000). The minister said: “Around 80 tourists can travel in the train per tour. By introducing the charter service, private individuals or organizations can have...

If sources are to be believed, the Golden Chariot, a luxury train operating in South Indian states of Karnataka and Tamil Nadu, will soon revamp its itinerary to include destination in Andhra Pradesh. This move is meant to promote tourism in Andhra Pradesh as well as to make the train more...

RBI issues norms for Gold Monetisation Scheme (GMS), 2015

14 Things You Must Know About Earning Interest On Your Gold

Golden Frames 2016 - International Short Film Festival, Mumbai, India

All You Need To Know About Sovereign Gold Bond Scheme 2016 -17

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

દુનિયામાં ખાલી 43 લોકો જ છે જેમની શરીરની નસોમાં વહે છે ગોલ્ડન બ્લડગ્રુપ

ગત વર્ષે આ દરમિયાન ગોલ્ડનો 10 ગ્રામનો ભાવ લગભગ 31,500 હતો, જે હવે વધીને 46,500 રૂપિયા પ્રતિ 10 ગ્રામના સ્તર પર પહોંચી ગયો છે

Goldman Sachs Group Inc. sees an end to the gloom for solar manufacturers as demand in China stabilizes and free-falling panel prices bottom out.

Goldman Sachs Group Inc. sees an end to the gloom for solar manufacturers as demand in China stabilizes and free-falling panel prices bottom out.

When the world’s largest working advanced digestion plant opened last month, it showed the power- hungry process of treating waste in the $360 billion water industry can be self-sufficient in terms of energy use.

Juha Sipila, who once converted his own Chevrolet to run on wood-gas, is counting on the abundant Finnish forests to provide the key to an economic revival.

The current environment surrounding the emergence of COVID-19 has forced people to come up with brand new ways of enjoying time away from work.

As if the COVID-19 pandemic didn't give Japan enough things to worry about, the unseasonably warm winter and resulting lack of snow may spell severe ...

The Malta Chamber of Commerce has pledged its support to government in the formulation of a new Iindividual Investor Programme to ensure the new scheme is compatible with good governance

Governments in the region need to invest more in prevention and response to the long-term impacts of disaster displacement.

The exponential growth of data and artificial intelligence is creating a tug-of-war between data for profit and data for the common good. In this struggle, it is fundamental that we protect our basic human data rights.

MCHP to Present at Goldman Conference

The Goldman Sachs board of directors is supposed to keep management in check, but Reuters' blogger Felix Salmon says it is stacked with company insiders, conflicting interests and inexperience. (October 15, 2012)

Title: Higher Vitamin D, Better Golden Years?
Category: Health News
Created: 4/26/2010 11:08:00 AM
Last Editorial Review: 4/26/2010 11:08:04 AM

There is a pressing need for new exploration tools to target and vector towards mineralization in covered terrains. Groundwater provides a valuable and under-utilized geochemical sampling medium, and represents an important and cost-effective tool to expose covered terrains to systematic exploration. For Au exploration, researchers agree the best hydrogeochemistry pathfinder is dissolved Au itself, with additional potential from other pathfinders (albeit non-unique) such as As, Ag, W and Mo. Despite Au's relatively low solubility, with rigorous field protocols and appropriate analytical methods, explorers can respond to dissolved Au directly with robust parts per trillion (ppt)-level analyses.

Even with ppt-level analyses, a practical implication of Au's low solubility is that a deposit's dissolved Au signature is generally weaker than seen in other more mobile pathfinders, producing a smaller detectable footprint, which must be considered when designing exploration programmes. Using purpose-drilled groundwater sampling bores, explorers can collect groundwater samples at the density required to respond to dissolved Au where existing borehole coverage is otherwise insufficient. In addition to its use at the regional scale, with even tighter sample density, hydrogeochemistry also shows promise at the project scale, allowing the 3D modelling of pathfinder dispersion.

For hydrogeochemistry to be widely adopted for Au exploration, explorers need confidence in ppt-level dissolved Au analyses, and the context to understand their significance. This paper aims to address these topics and provide a straightforward starting point for Au explorers interested in applying hydrogeochemistry by: (i) summarizing examples of regional sampling programmes and more focused case studies to illustrate how covered Au deposits create measurable dissolved Au footprints distinguishable from background; and (ii) sharing examples of dissolved Au analyses that are being integrated into exploration at the regional and project scales.

As seen in the results, the distributions of dissolved Au in the regional- and project-scale programmes show remarkably similar and easy to interpret high-contrast, low-frequency anomalies against relatively low backgrounds. These are desirable attributes of any geochemical pathfinder. When combined with the benefits of hydrogeochemistry v. other geochemical exploration tools (e.g. groundwater can create larger footprints requiring fewer samples to detect, and groundwater can recharge from depth to reflect deeper mineralization), dissolved Au is a powerful pathfinder ideally suited for Au exploration in covered terrains.

While this paper focuses on the use of dissolved Au, additional pathfinders can provide valuable information, including indications of lithological changes, hydrothermal alteration and different styles of mineralization, as well as opportunities to use secondary pathfinders when sample density or local conditions may not result in detectable dissolved Au signatures.

Thematic collection: This article is part of the Exploration 17 collection available at: https://www.lyellcollection.org/cc/exploration-17

In the past decade, significant research efforts have been devoted to mineral chemistry studies to assist porphyry exploration. These activities can be divided into two major fields of research: (1) porphyry indicator minerals (PIMs), which are used to identify the presence of, or potential for, porphyry-style mineralization based on the chemistry of magmatic minerals such as zircon, plagioclase and apatite, or resistate hydrothermal minerals such as magnetite; and (2) porphyry vectoring and fertility tools (PVFTs), which use the chemical compositions of hydrothermal minerals such as epidote, chlorite and alunite to predict the likely direction and distance to mineralized centres, and the potential metal endowment of a mineral district. This new generation of exploration tools has been enabled by advances in and increased access to laser ablation inductively coupled plasma mass spectrometry (LA-ICP-MS), short-wave length infrared (SWIR), visible near-infrared (VNIR) and hyperspectral technologies. PIMs and PVFTs show considerable promise for exploration and are starting to be applied to the diversity of environments that host porphyry and epithermal deposits globally. Industry has consistently supported development of these tools, and in the case of PVFTs encouraged by several successful blind tests where deposit centres have successfully been predicted from distal propylitic settings. Industry adoption is steadily increasing but is restrained by a lack of the necessary analytical equipment and expertise in commercial laboratories, and also by the ongoing reliance on well-established geochemical exploration techniques (e.g. sediment, soil and rock chip sampling) that have aided the discovery of near-surface resources over many decades, but are now proving less effective in the search for deeply buried mineral resources and for those concealed under cover.

Thematic collection: This article is part of the Exploration 17 collection available at: https://www.lyellcollection.org/cc/exploration-17

Obtaining blood and cerebrospinal fluid is generally less invasive than standard tumor biopsy, and are increasingly used to develop surrogate biomarkers. Leptomeningeal disease, a devastating complication of cancer, represents a unique opportunity for using liquid biopsies for diagnosis, treatment, and to elucidate underlying mechanisms of resistance to therapy.

See related article by Smalley et al., p. 2163

Sau khi được mở rộng, Khu đô thị Phú Quý (tên thương mại là Goldenland) tại TP. Hải Dương sẽ có tổng diện tích là 884.085m2.

To make the dream of settling down in a prosperous city come true, young couples, especially ones with limited budgets, need to prepare the right steps to get your home sweet home.

Clothes that light up by themselves could be a high-tech replacement to high-visibility gear worn by cyclists and construction workers

In response to the ongoing COVID-19 pandemic.