I've heard lots of people asking for a way to generate Makefiles for Specman code, and it seems there are some who don't use "irun" which takes care of this automatically. So I wrote this little utility to build a basic Makefile based on the compiled and loaded e code.

It's really easy to use: at any time load the snmakedeps.e into Specman, and use "write makefile <name> [-ignore_test]".
This will dump a Makefile with a set of variables corresponding to the loaded packages, and targets to build any compiled modules.
Using -ignore_test will avoid having the test file in the Makefile, in case you switch tests often (who doesn't?).

It also writes a stub target so you can do "make stub_ncvlog" or "make stub vhdl" etc.

The targets are pretty basic, I thought it was more useful to #include this into the main Makefile and define your own more complex targets / dependencies as required.

The package uses the "reflection" facility of the e language, which is now documented since Specman 8.1, so you can extend this utility if you want (please share any enhancements you make).

 Enjoy! :-)

Steve.

Hi All.

I put together a small Perl script to generate vr_ad register definitions from SPIRIT (IP-XACT) XML.
If you've got not idea what IP-XACT is, have a look here www.spiritconsortium.org/, then start pestering your design manager to use it :-)

The script can filter out registers and override R/W access types if needed.

An example XML file is included with the package so that you can play with it, and there's a detailed README.txt as well.

Here's an example of the generated e code:

// Automatically generated from xdmac.xml
// DO NOT EDIT, or your changes may be lost
<'

import vr_ad/e/vr_ad_top;

// Component = XDMAC
// memoryMap = xdmac
extend vr_ad_map_kind : [XDMAC];

// addressBlock = dma_eth
extend vr_ad_reg_file_kind : [DMA_ETH];

extend DMA_ETH vr_ad_reg_file {
  keep size == 20;
  keep addressing_width_in_bytes == 4;
};

// Register = command
// Reset    = 0x00
reg_def COMMAND DMA_ETH 0x0 {
  // Field resv3 = command[31:29]
  reg_fld resv3 : uint(bits:3) : R : 0 : cov ;
  // Field transfer_size = command[28:19]
  reg_fld transfer_size : uint(bits:10) : RW : 0 : cov ;
  // Field dma_transfer_target = command[18:14]
  reg_fld dma_transfer_target : uint(bits:5) : RW : 0 : cov ;
  // Field resv2 = command[13:10]
  reg_fld resv2 : uint(bits:4) : R : 0 : cov ;
  // Field transmit_receive = command[9:9]
  reg_fld transmit_receive : uint(bits:1) : RW : 0 : cov ;
  // Field resv1 = command[8:5]
  reg_fld resv1 : uint(bits:4) : R : 0 : cov ;
  // Field dest_address_enable = command[4:4]
  reg_fld dest_address_enable : uint(bits:1) : RW : 0 : cov ;
  // Field source_address_enable = command[3:3]
  reg_fld source_address_enable : uint(bits:1) : RW : 0 : cov ;
  // Field word_size = command[2:0]
  reg_fld word_size : uint(bits:3) : R : 0 : cov ;
};

// Register = queue_exec
// Reset    = 0x00
reg_def QUEUE_EXEC DMA_ETH 0x10 {
  // Field resv = queue_exec[31:1]
  reg_fld resv : uint(bits:31) : R : 0 : cov ;
  // Field exec = queue_exec[0:0]
  reg_fld exec : uint(bits:1) : RW : 0 : cov ;
};

extend XDMAC vr_ad_map {
  dma_eth : DMA_ETH vr_ad_reg_file;

  post_generate() is also {
    add_with_offset(0x00, dma_eth);
    dma_eth.reset();
  };
}
'>

Any comments, please feed them back to me so I can enhance the script.
Note that this forum forces me to post a .zip file rather than .tgz, please be careful to unpack the file under Linux, not Windows, else the DOS linefeeds will corrupt the Perl and XML files.

Steve

As noted in white papers, posts on the Team Specman Blog, and the Specman documentation, IntelliGen is a totally new stimulus generator than the original "Pgen" and, as a result, there is some amount of effort needed to migrate an existing verification environment to fully leverage the power of IntelliGen.  One of the main steps in migrating code is running the linters on your code and adressing the issues highlighted. 

Included below is a simple utility you can include in your environment that allows you to collect some valuable statistics about your code base to allow you to better gauge the amount of work that might be required to migrate from Pgen to IntelliGen.  The ICFS statistics reported are of particular benefit as the utility not only identifies the approximate number of ICFSs in the environment, it also breaks the total number down according to generation contexts (structs/units and gen-on-the-fly statements) allowing you to better focus your migration efforts. 

IMPORTANT: Sometimes a given environment can trigger a large number of IntelliGen linting messages right off the bat.  Don't let this freak you out!  This does not mean that migration will be a long effort as quite often some slight changes to an environment remove a large number of identified issues.  I recently encountered a situation where a simple change to three locations in the environment, removed 500+ ICFSs!

The methods included in the utility can be used to report information on the following:
- Number of e modules
- Number of lines in the environment (including blanks and comments)
- Number and type of IntelliGen Guidelines linting messages
- Number of Inconsistently Connected Field Sets (ICFSs)
- Number of ICFS contexts and how many ICFSs per context
- Number of soft..select overlays found in the envioronment
- Number of Laces identified in the environment

To use the code below, simply load it before/after loading e-code and then
you can execute any of the following methods:

- sys.print_file_stats()             : prints # of lines and files
- sys.print_constraint_stats()   : prints # of constraints in the environment
- sys.print_guideline_stats()    : prints # of each type of linting message
- sys.print_icfs_stats()            : prints # of ICFSs, contexts and #ICFS/context
- sys.print_soft_select_stats() : prints # of soft select overlay issues
- sys.print_lace_stats()           : *Only works for SPMNv6.2s4 and later* prints # of laces identified in the environment

Each of the above calls to methods produces it's own log files (stored in the current working directory) containing relevant information for more detailed analysis.
- file_stats_log.elog : Output of "show modules" command
- constraint_log.elog : Output of the "show constraint" command
- guidelines_log.elog : Output of "gen lint -g" (with notification set to MAX_INT in order to get all warnings)
- icfs_log.elog       : Output of "gen lint -i" command
- soft_select_log.elog: Output of the "gen lint -s" command
- lace_log.elog       : Output of the "show lace" command

Happy generating!

Corey Goss

Microwaves & RF's David Maliniak interviews Sherry Hess of Cadence about recently announced products of Optimality and OnCloud.(read more)

Hello everyone,

For my cross-coupled oscillator design, I have a problem with stability analysis. Based on my achieved results which are attached, where is my design problem?

Best,

https://ibb.co/bgKFP4N

https://ibb.co/3FGRLmV

https://ibb.co/pwSZDSF

Read through this blog to know more about the new Reliability Report view in Virtuoso ADE Assembler and Virtuoso ADE Explorer.(read more)

Despite nurturing its R&D capacity, the city of Braunschweig lags its German peers in attracting FDI. Now it hopes a focus on the mobility sector will mean its technical skills are matched with investment.

We are currently in a state of heightened business and economic disruption and sociopolitical activism, which only looks set to intensify. 

Replacing the “nightmare” that was Nafta was a dream of US president Donald Trump – but its replacement appears to favour few groups except for dispute resolution firms.

The Dutch appeal court has reinstated a major $50bn award to Yukos shareholders by Russia, in a long-running dispute.

Antwerp boasts both Europe’s largest integrated chemical cluster and its second largest port, which forms the bedrock of the city’s economy. Now the authorities are collaborating to foster innovation and sustainability to build on these historic strengths.

Lithuania is enjoying a boost in FDI project and jobs, with the capital, Vilnius, getting the lion's share.

Maeil Dairies Australia has invested A$13.5 million to acquire Corio Bay Dairy Group’s partially built dairy processing facility in Geelong, Victoria.

This article examines the key drivers of price volatility for vegetable oils and cereals, and the implications for Australian exporters.

Argentina’s copper and lithium projects are rich in opportunities for Australian mining equipment, technology and services providers.

TikTok is divided over whether books are inherently political after Donald Trump's win in the U.S. presidential election.

Check here each week to keep up with the latest from John MacArthur's pulpit at Grace Community Church.

Check here each week to keep up with the latest from John MacArthur's pulpit at Grace Community Church.

Check here each week to keep up with the latest from John MacArthur's pulpit at Grace Community Church.

Check here each week to keep up with the latest from John MacArthur's pulpit at Grace Community Church.

Check here each week to keep up with the latest from John MacArthur's pulpit at Grace Community Church.

Check here each week to keep up with the latest from John MacArthur's pulpit at Grace Community Church.

Check here each week to keep up with the latest from John MacArthur's pulpit at Grace Community Church.

Abuja, Nigeria — The Nigerian military welcomed a report by a human rights group that found “no evidence” the military secretly carried out thousands of illegal abortions as part of its fight against Islamist insurgency. The Reuters news agency says it stands by its three reports in 2022 which lodged the allegations.  In a statement over the weekend, Nigerian Defense Chief General Christopher Musa praised the report by the seven-member investigative panel set up by the National Human Rights Commission of Nigeria.  Musa said no amount of false accusations will distract the armed forces from defending Nigeria's integrity.  On Friday, the Nigerian investigative panel said it found “no evidence” that the Nigerian military secretly carried out illegal abortions or had such a policy in its operations against terror groups.   The panel's probe lasted 18 months and was based on 199 testimonies from witnesses including Musa, who was leading the counterinsurgency campaign at the time.  In December 2022, Reuters news agency published three reports alleging that the Nigerian military ran a mass abortion program for victims of the long-running Boko Haram insurgency and massacred children in the northeast.  The report alleged that the military had carried out more than 10,000 abortions since 2013.  "The panel made its findings meticulously on each of the issues," said Hillary Ogbonna, secretary to the investigative panel. "For the abortion assault, the panel did not find evidence that the Nigerian armed forces committed a systematic, secret or policy-driven abortion in the northeast to the tune of 10,000 abortions."  The committee, however, agreed with a Reuters report alleging the military committed human rights violations, including infanticide, during a military operation in June 2016.  "The panel found the military culpable of infanticide and the killing of community members in the village of Abisare in Borno State. We've received witness testimonies including those of the survivors and relations of the deceased," Ogbonna said.  Responding to the panel's report, Reuters said it stands by its investigation, stating that it satisfied their standards for independence, accuracy and impartiality.  On Monday, a Nigerian human rights group, Women Concerns, called on Reuters to withdraw the report and apologize to the Nigerian military.  But security analyst Chidi Omeje said when there's disagreement between two parties, an independent committee can be set up to review the reports.  "I don't know how the human rights commission went about the investigation. I really cannot say whether it was a thorough job done or whether there was some influence somewhere. Maybe some other independent organizations should be able to wade in," Omeje said. "I know that [the] human rights commission, even though I'm not trying to doubt their integrity, it has some allegiance to the government because it's a government agency."  Years of military offensives against terror groups in Nigeria have been embroiled in allegations of human rights violations. Soldiers have been accused of mistreating civilians and carrying out extrajudicial killings.  "It tells you how it is very difficult to maintain or stick to that professionalism if you're dealing with this kind of asymmetric warfare. Sometimes it is difficult to distinguish who the adversaries are," Omeje said.  Recently, the military launched a public relations campaign, seeking to repair its reputation.

What a privilege and joy it is to worship the Lord here at Grace church. Patricia and I miss it when we’re not here; there&rsqu

Earlier in the service I read from the first chapter of Romans what is really a very, very shocking portion of Scripture just to remind you that Romans cha

Tehran, Iran — A militant attack near the Pakistani border with Iran left five Iranian forces dead, the state-run IRNA news agency reported Sunday. The report said the dead were ethnic Baluch members of the paramilitary Revolutionary Guard's volunteer Basij force and were killed in Saravan city in Sistan and Baluchistan province. Saravan is some 1,400 km (870 miles) southeast of the capital Tehran. No group immediately claimed responsibility for the attack. Earlier in the day, state TV reported that Revolutionary Guard forces killed three terrorists and arrested nine others in a military operation. The report did not specify which group the suspects belonged to. Last month, unknown gunmen killed four people, including the chief of the Revolutionary Guard in the province. In September, gunmen killed four border guards in Sistan and Baluchistan province in two separate attacks. The militant group Jaish al-Adl, which seeks greater rights for the ethnic Baluch minority, claimed responsibility for one attack in which one officer and two soldiers were killed. The province, which borders Afghanistan and Pakistan, has been the site of occasional deadly clashes involving militant groups, armed drug smugglers and Iranian security forces. It is one of the least developed parts of Iran. Relations between the predominantly Sunni Muslim residents of the region and Iran's Shiite theocracy have long been strained.

The United States said Tuesday that Israel has made limited progress on increasing the flow of humanitarian aid into the Gaza Strip as Washington requested, so the Biden administration will not limit arms transfers to Israel. State Department deputy spokesperson Vedant Patel told reporters that "we at this time have not made an assessment that the Israelis are in violation of U.S. law." The administration told its ally on October 13 that it had one month to increase aid to Gaza, where the situation after 13 months of war between Israel and Hamas militants has unleashed a catastrophic humanitarian situation, or face a reduction in military aid. The deadline was Tuesday. “We are not giving Israel a pass," Patel said, adding that "we want to see the totality of the humanitarian situation improve, and we think some of these steps will allow the conditions for that to continue to progress." Secretary of State Antony Blinken met with Israel’s top national security adviser, Ron Dermer, in Washington on Monday to go over the steps that Israel has taken. At the United Nations, U.S. envoy Linda Thomas-Greenfield told the Security Council that Israel has taken some important steps, including restoring aid deliveries to the north, but that it must ensure its actions are “fully implemented and its improvements sustained over time.” “And we continue to reiterate, there must be no forcible displacement nor policy of starvation in Gaza, which would have grave implications under U.S. and international law,” she said. A senior U.N. human rights official said at the same meeting that the entry and distribution of aid into Gaza has fallen to “some of the lowest levels in a year” and criticized Israel’s conduct of military operations in the north. “All states, consistent with their obligations under international law, must therefore assess arms sales or transfers and provision of military, logistical or financial support to a party to the conflict, with a view to ending such support if this risks serious violations of international law,” Ilze Brands Kehris, U.N. assistant secretary-general for human rights, said. Israel denies it is limiting aid to Gaza, blaming the U.N. and aid agencies for slow distribution and Hamas for stealing it. Earlier Tuesday, eight international aid organizations said that of 19 measures of compliance with the U.S. demands, Israel failed to comply with 15 and only partially complied with four. "Israel not only failed to meet the U.S. criteria that would indicate support to the humanitarian response, but concurrently took actions that dramatically worsened the situation on the ground, particularly in Northern Gaza," the report said. “That situation is in an even more dire state today than a month ago.” Asked what grade the United Nations would give Israel, spokesperson Stephane Dujarric would not offer one, but said, “I think from what we've been telling you over the last few days and frankly much longer, it's pretty clear that we're nowhere near what we need.” While aid entering Gaza is insufficient overall, the U.N. Office for the Coordination of Humanitarian Affairs says it is especially bad in northern Gaza, where 85% of its attempts to coordinate aid convoys and humanitarian visits in October were denied or impeded. “As I brief you, Israeli authorities are blocking humanitarian assistance from entering North Gaza, where fighting continues, and around 75,000 people remain with dwindling water and food supplies,” acting humanitarian chief Joyce Msuya told the Security Council meeting. “Conditions of life across Gaza are unfit for human survival,” she said. Famine alert On Friday, U.N.-backed food security experts issued an urgent warning, saying there is a strong likelihood that famine is occurring or imminent in parts of northern Gaza and that immediate action is needed to avert a catastrophe. “By the time famine has been declared, people are already dying of hunger, with irreversible consequences that can last generations,” Rein Paulsen told the Security Council meeting. Paulsen is the director of the Office of Emergencies and Resilience at the U.N.’s Food and Agriculture Organization. “The window of opportunity to deliver this assistance is now, today, not tomorrow,” he said. Israel’s U.N. ambassador told reporters ahead of the council meeting that the report by the famine committee of the Integrated Food Security Phase Classification, or IPC as the experts are known, is “harmful propaganda” and “filled with baseless and slanderous claims” against Israel. “As I have said here in the past, there are agencies dedicated to real humanitarian work, and then there are those like the IPC, which prioritize smearing Israel over actually helping those in need,” Danny Danon said. Inside the council, he said IPC claims of imminent famine in northern Gaza are “simply false,” and that Israel facilitated over 713 trucks into the north in October. He said across Gaza, a dozen bakeries produce pita bread, and overall, Israel is allowing aid in through multiple crossing points, including the Kissufim crossing to central Gaza, which was opened on Tuesday after having been shuttered 19 years ago. “Are these the actions of a state wishing to cause a famine?” Danon asked. Palestinian envoy Riyad Mansour said Israel should allow international journalists into Gaza to see for themselves whether there is famine or not. “We need international media, independent media, to go and to document exactly what is happening,” Mansour told reporters. “It is genocide in northern Gaza, and we need the international media to go and tell the story.” In 13 months of war, Israel has allowed only a few handpicked reporters to accompany its troops into Gaza on brief tours to see the Hamas tunnels. It has also shuttered the bureau of Qatar-based news channel Al Jazeera in Israel. According to the Committee to Protect Journalists, at least 137 journalists and media workers have been killed, nearly all of them Palestinian. As the situation worsens, the Security Council’s 10 elected members are working on a draft resolution on the protection of civilians in the conflict and the need for an immediate cease-fire, release of hostages and scaling up of aid. Biden reaffirms support for Israel President Joe Biden reiterated his support of Israel during a Tuesday Oval Office meeting with Israel’s president and echoed the wish to see the return of the remaining hostages still held by Hamas in Gaza for more than a year. “My commitment to Israel is ironclad,” Biden told President Isaac Herzog during their morning meeting in the White House. “And we share a deep friendship.” Herzog underscored his government’s main objective: “First and foremost, we have to get the hostages back.” As President-elect Donald Trump begins to put his government together, his transition office announced Tuesday that former Arkansas governor Mike Huckabee is his nominee for U.S. ambassador to Israel, and real estate investor Steve Witkoff will be his special envoy to the Middle East. Air strikes in Gaza, Beirut Israeli airstrikes killed at least 14 people in Gaza on Tuesday, Palestinian authorities said, while in Lebanon, plumes of smoke rose above Beirut’s southern suburbs less than an hour after Israeli forces told residents to evacuate. A strike early Tuesday hit a house at a refugee camp in central Gaza, killing three people, according to Al-Awda Hospital, which received the casualties. Israel's new defense minister, Israel Katz, said on X that during a meeting with military officials Tuesday, he reiterated that Israel will continue hitting Hezbollah with full force, and that there will be no cease-fire in Lebanon. The war in Gaza was triggered when Hamas-led militants stormed into southern Israel on October 7, 2023, killing about 1,200 people, mostly civilians, and abducting about 250. Some 100 hostages are still inside Gaza, although about one-third of them are believed to be dead. Israel's counteroffensive has killed more than 43,000 Palestinians, more than half of them women and children, according to local health authorities. The Israeli military says the death toll includes thousands of Hamas militants. The war spread to Lebanon in mid-September, after months of rocket fire from Hezbollah into Israel and drone and airstrikes by Israel’s military in south Lebanon escalated. More than 3,200 Lebanese have been killed, most of them in the past six weeks. Both Hamas and Hezbollah have been designated as terrorist organizations by the United States. VOA White House correspondent Anita Powell and United Nations correspondent Margaret Besheer contributed to this report. Information from The Associated Press and Reuters was used in this report.

… Seek targeted relief measures to save media, nation’s economy The Nigerian Guild of Editors (NGE), arising from the three-day All Nigeria Editors Conference (ANEC) in Yenagoa, the Bayelsa State Capital, has called on the federal government to urgently mitigate the negative impact of fuel subsidy removal and the exchange rate volatility on the economy. […]

The post Ease impact of fuel subsidy removal, exchange rate volatility, editors urge FG first appeared on Business Hallmark.

Leading financial services provider, First City Monument Bank (FCMB), has been awarded the prestigious International Organisation for Standardisation (ISO) 9001:2015 certificate for Quality Management System. The Bank was presented with the certificate by the Standards Organisation of Nigeria (SON), following a comprehensive audit and evaluation exercise conducted by the Organisation. The exercise covered departments and […]

FCMB attains ISO Certification for Quality Management