Int'l Conf. Par. and Dist. Proc. Tech. and Appl. | PDPTA'13 |
Comparison of NoC Routing Algorithms Using Formal
Z. Sharifi1, S. Mohammadi1, and M. Sirjani2
School of Electrical and computer engineering, University of Tehran, Tehran, Iran
School of Computer Science, Reykjavik University, Reykjavik, Iceland
Abstract - Network on Chip (NoC) has emerged as a promising interconnection paradigm for complex on-chip communications. As fabrication cost is high, model based design of NoC and early exploration to make proper design decisions are important challenges in NoCs. To tackle these challenges, we use formal methods and utilize their expressivity and flexibility to model different behaviors of a
NoC and their abstraction to support early analysis of the design. We propose a formal approach for selection of the best routing algorithm in a NoC, according to its performance requirements. We present a model for two-dimensional mesh
NoC using actor based modeling language Rebeca. Both functional and timing behaviors are modeled. The model is then used to compare three routing algorithms XY, Odd-Even and DyAD with respect to the maximum end-to-end packet latency in different scenarios.
Mother Teresa answering the call for freedom from want
Freedom from want is security. This means that despite life’s inevitable ups and downs there is a bottom beneath which none of us can fall. Every life has its share of failure along with success. Every life has pain. It’s perfectly natural that we desire to create a society that will care for us in the down cycles of life. We need family to help in difficult times, and not just our immediate family, but our human family. Not every personal family has a heart surgeon to perform a needed operation, and not every family has an expert on grammar who will teach others to write. But in our human family we have experts on many things, and we are smart enough to train people with specialties so that they can help others.
Just as we build roads to travel that all of us may use, we also build institutions, schools, and hospitals to ensure that no matter whether we are rich or poor we will always have access to education and health care. In this way everyone has the security of a decent path through life, including a fair chance to contribute to our global economic marketplace.
Next, we will use our new template to create our first real Ant
To get you started, I will explain some of the fundamentals of the
Ant language. These are the basic functions you need to learn for now;
along the way, we will explore more, so dont worry when we dont cover
them all at once.
Every Ant XML file starts off with an XML declaration (for good
practice) and a project begin node and end node. The project
node is kind of like a target, except that there can be only
one. For it to function properly, it needs to have a name property. The basedir property defines the directory Ant
should start fromfor example, when it needs to traverse directories.
The following is an example of a project node:
If you need to go one directory level higher, you can use either
../../ or .; just make sure you also place your Ant
build file in the root of your Eclipse project.
As mentioned previously, Ant calls functions
targets. A target consists of a target node with a
name element. This element is
mandatory, meaning it must always be in a target. The name element is basically the name of your
target, and it enables you to call that target via the command line from
a build file. You can also add a description property to describe what the
target does, as shown here:
At age seventeen, Charles Boettcher left Germany for America. He was not alone. Germans were the single largest foreign-born group to settle in Colorado between 1870 and 1910. Charles hopped off the Union Pacific train at Cheyenne, Wyoming, for a visit with his brother Herman, who ran a hardware store there. Herman put his little brother to work in the store, paying him two dollars a week and letting him sleep under the counter at night.
When Colorado began to grow in the 1870s, the Boettcher brothers decided to open branch stores there. Charles built the two-story brick store that still stands at Pearl and Broadway in Boulder. A few years later, Charles moved to Leadville and started another hardware store. By 1890 he had moved to Denver to start still another business.
Boettcher was smart. He saw his friends put all their money into one mine, one business, or one railroad. When hard times came, as they did in 1893 and 1929, his friends lost everything. Boettcher put his money into many different businesses. That way, if one enterprise failed, he still had the others. Boettcher’s approach became Colorado’s best example of economic diversity. Local areas, states, regions, and even countries need economic diversity. If one industry does not do well, other employers can still offer jobs and economic benefits.