Hello All,

Following is the einstein's puzzle solved by cadence Incisive92  (solved in less than 3 seconds -> FAST!!!!!!)

Thanks,

Vinay Honnavara

Verification engineer at Keyu Tech

vinayh@keyutech.com

 // Author: Vinay Honnavara

// Einstein formulated this problem : he said that only 2% in the world can solve this problem
// There are 5 different parameters each with 5 different attributes
// The following is the problem

// -> In a street there are five houses, painted five different colors (RED, GREEN, BLUE, YELLOW, WHITE)

// -> In each house lives a person of different nationality (GERMAN, NORWEGIAN, SWEDEN, DANISH, BRITAIN)

// -> These five homeowners each drink a different kind of beverage (TEA, WATER, MILK, COFFEE, BEER),

// -> smoke different brand of cigar (DUNHILL, PRINCE, BLUE MASTER, BLENDS, PALL MALL)

// -> and keep a different pet (BIRD, CATS, DOGS, FISH, HORSES)


///////////////////////////////////////////////////////////////////////////////////////
// *************** Einstein's riddle is: Who owns the fish? ***************************
///////////////////////////////////////////////////////////////////////////////////////

/*
Necessary clues:

1. The British man lives in a red house.
2. The Swedish man keeps dogs as pets.
3. The Danish man drinks tea.
4. The Green house is next to, and on the left of the White house.
5. The owner of the Green house drinks coffee.
6. The person who smokes Pall Mall rears birds.
7. The owner of the Yellow house smokes Dunhill.
8. The man living in the center house drinks milk.
9. The Norwegian lives in the first house.
10. The man who smokes Blends lives next to the one who keeps cats.
11. The man who keeps horses lives next to the man who smokes Dunhill.
12. The man who smokes Blue Master drinks beer.
13. The German smokes Prince.
14. The Norwegian lives next to the blue house.
15. The Blends smoker lives next to the one who drinks water.
*/




typedef enum bit [2:0]  {red, green, blue, yellow, white} house_color_type;
typedef enum bit [2:0]  {german, norwegian, brit, dane, swede} nationality_type;
typedef enum bit [2:0]  {coffee, milk, water, beer, tea} beverage_type;
typedef enum bit [2:0]  {dunhill, prince, blue_master, blends, pall_mall} cigar_type;
typedef enum bit [2:0]  {birds, cats, fish, dogs, horses} pet_type;




class Einstein_problem;

    rand house_color_type house_color[5];
    rand nationality_type nationality[5];
    rand beverage_type beverage[5];
    rand cigar_type cigar[5];
    rand pet_type pet[5];
        rand int arr[5];
    
    constraint einstein_riddle_solver {
    
        
    
        foreach (house_color[i])
            foreach (house_color[j])
               if (i != j)
                house_color[i] != house_color[j];
        foreach (nationality[i])
            foreach (nationality[j])
               if (i != j)
                nationality[i] != nationality[j];
        foreach (beverage[i])
            foreach (beverage[j])
               if (i != j)
                beverage[i] != beverage[j];
        foreach (cigar[i])
            foreach (cigar[j])
               if (i != j)
                cigar[i] != cigar[j];
        foreach (pet[i])
            foreach (pet[j])
               if (i != j)
                pet[i] != pet[j];
    
    
        //1) The British man lives in a red house.
        foreach(nationality[i])
                (nationality[i] == brit) -> (house_color[i] == red);
                
        
        //2) The Swedish man keeps dogs as pets.
        foreach(nationality[i])
                (nationality[i] == swede) -> (pet[i] == dogs);
                
                
        //3) The Danish man drinks tea.        
        foreach(nationality[i])
                (nationality[i] == dane) -> (beverage[i] == tea);
        
        
        //4) The Green house is next to, and on the left of the White house.
        foreach(house_color[i])        
                 if (i<4)
                    (house_color[i] == green) -> (house_color[i+1] == white);
        
        
        //5) The owner of the Green house drinks coffee.
        foreach(house_color[i])
                (house_color[i] == green) -> (beverage[i] == coffee);
                
        
        //6) The person who smokes Pall Mall rears birds.
        foreach(cigar[i])
                (cigar[i] == pall_mall) -> (pet[i] == birds);
        
        
        //7) The owner of the Yellow house smokes Dunhill.
        foreach(house_color[i])
                (house_color[i] == yellow) -> (cigar[i] == dunhill);
        
        
        //8) The man living in the center house drinks milk.
        foreach(house_color[i])
                if (i==2) // i==2 implies the center house (0,1,2,3,4) 2 is the center
                    beverage[i] == milk;
        
        
        
        //9) The Norwegian lives in the first house.
        foreach(nationality[i])        
                if (i==0) // i==0 is the first house
                    nationality[i] == norwegian;
        
        
        
        //10) The man who smokes Blends lives next to the one who keeps cats.
        foreach(cigar[i])        
                if (i==0) // if the man who smokes blends lives in the first house then the person with cats will be in the second
                    (cigar[i] == blends) -> (pet[i+1] == cats);
        
        foreach(cigar[i])        
                if (i>0 && i<4) // if the man is not at the ends he can be on either side
                    (cigar[i] == blends) -> (pet[i-1] == cats) || (pet[i+1] == cats);
        
        foreach(cigar[i])        
                if (i==4) // if the man is at the last
                    (cigar[i] == blends) -> (pet[i-1] == cats);
        
        foreach(cigar[i])        
                if (i==4)
                    (pet[i] == cats) -> (cigar[i-1] == blends);
        
        
        //11) The man who keeps horses lives next to the man who smokes Dunhill.
        foreach(pet[i])
                if (i==0) // similar to the last case
                    (pet[i] == horses) -> (cigar[i+1] == dunhill);
        
        foreach(pet[i])        
                if (i>0 & i<4)
                    (pet[i] == horses) -> (cigar[i-1] == dunhill) || (cigar[i+1] == dunhill);
                    
        foreach(pet[i])        
                if (i==4)
                    (pet[i] == horses) -> (cigar[i-1] == dunhill);
                    


        //12) The man who smokes Blue Master drinks beer.
        foreach(cigar[i])
                (cigar[i] == blue_master) -> (beverage[i] == beer);
        
        
        //13) The German smokes Prince.
        foreach(nationality[i])        
                (nationality[i] == german) -> (cigar[i] == prince);
        

        //14) The Norwegian lives next to the blue house.
        foreach(nationality[i])
                if (i==0)
                    (nationality[i] == norwegian) -> (house_color[i+1] == blue);
        
        foreach(nationality[i])        
                if (i>0 & i<4)
                    (nationality[i] == norwegian) -> (house_color[i-1] == blue) || (house_color[i+1] == blue);
        
        foreach(nationality[i])        
                if (i==4)
                    (nationality[i] == norwegian) -> (house_color[i-1] == blue);
        

        //15) The Blends smoker lives next to the one who drinks water.            
        foreach(cigar[i])            
                if (i==0)
                    (cigar[i] == blends) -> (beverage[i+1] == water);
        
        foreach(cigar[i])        
                if (i>0 & i<4)
                    (cigar[i] == blends) -> (beverage[i-1] == water) || (beverage[i+1] == water);
                    
        foreach(cigar[i])        
                if (i==4)
                    (cigar[i] == blends) -> (beverage[i-1] == water);
        
    } // end of the constraint block
    


    // display all the attributes
    task display ;
        foreach (house_color[i])
            begin
                $display("HOUSE : %s",house_color[i].name());
            end
        foreach (nationality[i])
            begin
                $display("NATIONALITY : %s",nationality[i].name());
            end
        foreach (beverage[i])
            begin
                $display("BEVERAGE : %s",beverage[i].name());
            end
        foreach (cigar[i])
            begin
                $display("CIGAR: %s",cigar[i].name());
            end
        foreach (pet[i])
            begin
                $display("PET : %s",pet[i].name());
            end
        foreach (pet[i])
            if (pet[i] == fish)
                $display("THE ANSWER TO THE RIDDLE : The %s has %s ", nationality[i].name(), pet[i].name());
    
    endtask // end display
    
    
endclass




program main ;

    initial
        begin
            Einstein_problem ep;
            ep = new();
            if(!ep.randomize())
                $display("ERROR");
            ep.display();
        end
endprogram // end of main

        

Hi, 

I want my layout verified by Quantus QRC. But, I can't find the tool bar on the option list ( as show in the picture)

I have tried to install EXT182 and configured it with iscape already, and also make some path settings on .bashrc, .cshrc. But, when I re-source .cshrc and run virtuoso again, I just can't find the toolbar. 

If you have some methods, please let me know.

Thanks a lot!

Appreciated

My virtuoso version is: ICADV12.3

Hi,

I tried to open my layout by Library Manager, but the Virtuoso CIW window sometimes pops up the follow WARNING messages( as picture depicts). Thus, layout can't open.

Sometimes, I try to reconfigure ICADV12.3 by the iscape and restart my VM and then it incredibly works! But, often not!

So, If anyone knows what it is going on. Please let me know! Thanks!

Appreciated so much   

Key Findings: Many more design teams will be reaching the mixed-signal methodology tipping point in 2015. That means you need to have a (verification) plan, and measure and execute against it.

As 2014 draws to a close, it is time to look ahead to the coming years and make a plan. While the macro view of the chip design world shows that is has been a mixed-signal world for a long time, it is has been primarily the digital teams that have rapidly evolved design and verification practices over the past decade. Well, I claim that is about to change. 2015 will be a watershed year for many more design teams because of the following factors:

• 85% of designs are mixed signal, and it is going to stay that way (there is no turning back)
• Advanced node drives new techniques, but they will be applied on all nodes
• Equilibrium of mixed-signal designs being challenged, complexity raises risk level
• Tipping point signs are evident and pervasive, things are going to change
• The convergence of “big A” and “big D” demands true mixed-signal practices

Reason 1: Mixed-signal is dominant

To begin the examination of what is going to change and why, let’s start with what is not changing. IBS reports that mixed signal accounts for over 85% of chip design starts in 2014, and that percentage will rise, and hold steady at 85% in the coming years. It is a mixed-signal world and there is no turning back!

Figure 1. IBS: Mixed-signal design starts as percent of total

The foundational nature of mixed-signal designs in the semiconductor industry is well established. The reason it is exciting is that a stable foundation provides a platform for driving change. (It’s hard to drive on crumbling infrastructure.  If you’re from California, you know what I mean, between the potholes on the highways and the earthquakes and everything.)

Reason 2: Innovation in many directions, mostly mixed-signal applications

While the challenges being felt at the advanced nodes, such as double patterning and adoption of FinFET devices, have slowed some from following onto to nodes past 28nm, innovation has just turned in different directions. Applications for Internet of Things, automotive, and medical all have strong mixed-signal elements in their semiconductor content value proposition. What is critical to recognize is that many of the design techniques that were initially driven by advanced-node programs have merit across the spectrum of active semiconductor process technologies. For example, digitally controlled, calibrated, and compensated analog IP, along with power-reducing mutli-supply domains, power shut-off, and state retention are being applied in many programs on “legacy” nodes.

Another graph from IBS shows that the design starts at 45nm and below will continue to grow at a healthy pace.  The data also shows that nodes from 65nm and larger will continue to comprise a strong majority of the overall starts. 

Figure 2.  IBS: Design starts per process node

TSMC made a comprehensive announcement in September related to “wearables” and the Internet of Things. From their press release:

TSMC’s ultra-low power process lineup expands from the existing 0.18-micron extremely low leakage (0.18eLL) and 90-nanometer ultra low leakage (90uLL) nodes, and 16-nanometer FinFET technology, to new offerings of 55-nanometer ultra-low power (55ULP), 40ULP and 28ULP, which support processing speeds of up to 1.2GHz. The wide spectrum of ultra-low power processes from 0.18-micron to 16-nanometer FinFET is ideally suited for a variety of smart and power-efficient applications in the IoT and wearable device markets. Radio frequency and embedded Flash memory capabilities are also available in 0.18um to 40nm ultra-low power technologies, enabling system level integration for smaller form factors as well as facilitating wireless connections among IoT products.

Compared with their previous low-power generations, TSMC’s ultra-low power processes can further reduce operating voltages by 20% to 30% to lower both active power and standby power consumption and enable significant increases in battery life—by 2X to 10X—when much smaller batteries are demanded in IoT/wearable applications.

The focus on power is quite evident and this means that all of the power management and reduction techniques used in advanced node designs will be coming to legacy nodes soon.

Integration and miniaturization are being pursued from the system-level in, as well as from the process side. Techniques for power reduction and system energy efficiency are central to innovations under way.  For mixed-signal program teams, this means there is an added dimension of complexity in the verification task. If this dimension is not methodologically addressed, the level of risk adds a new dimension as well.

Reason 3: Trends are pushing the limits of established design practices

Risk is the bane of every engineer, but without risk there is no progress. And, sometimes the amount of risk is not something that can be controlled. Figure 3 shows some of the forces at work that cause design teams to undertake more risk than they would ideally like. With price and form factor as primary value elements in many growing markets, integration of analog front-end (AFE) with digital processing is becoming commonplace.  

Figure 3.  Trends pushing mixed-signal out of equilibrium

The move to the sweet spot of manufacturing at 28nm enables more integration, while providing excellent power and performance parameters with the best cost per transistor. Variation becomes great and harder to control. For analog design, this means more digital assistance for calibration and compensation. For greatest flexibility and resiliency, many will opt for embedding a microcontroller to perform the analog control functions in software. Finally, the first wave of leaders have already crossed the methodology bridge into true mixed-signal design and verification; those who do not follow are destined to fall farther behind.

Reason 4: The tipping point accelerants are catching fire

The factors cited in Reason 3 all have a technical grounding that serves to create pain in the chip-development process. The more factors that are present, the harder it is to ignore the pain and get the treatment relief  afforded by adopting known best practices for truly mixed-signal design (versus divide and conquer along analog and digital lines design).

In the past design performance was measured in MHz with simple static timing and power analysis. Design flows were conveniently partitioned, literally and figuratively, along analog and digital boundaries. Today, however, there are gigahertz digital signals that interact at the package and board level in analog-like ways. New, dynamic power analysis methods enabled by advanced library characterization must be melded into new design flows. These flows comprehend the growing amount of feedback between analog and digital functions that are becoming so interlocked as to be inseparable. This interlock necessitates design flows that include metrics-driven and software-driven testbenches, cross fabric analysis, electrically aware design, and database interoperability across analog and digital design environments.

Figure 4.  Tipping point indicators

Energy efficiency is a universal driver at this point.  Be it cost of ownership in the data center or battery life in a cell phone or wearable device, using less power creates more value in end products. However, layering multiple energy management and optimization techniques on top of complex mixed-signal designs adds yet more complexity demanding adoption of “modern” mixed-signal design practices.

Reason 5: Convergence of analog and digital design

Divide and conquer is always a powerful tool for complexity management.  However, as the number of interactions across the divide increase, the sub-optimality of those frontiers becomes more evident. Convergence is the name of the game.  Just as analog and digital elements of chips are converging, so will the industry practices associated with dealing with the converged world.

Figure 5. Convergence drivers

Truly mixed-signal design is a discipline that unites the analog and digital domains. That means that there is a common/shared data set (versus forcing a single cockpit or user model on everyone). 

In verification the modern saying is “start with the end in mind”. That means creating a formal approach to the plan of what will be test, how it will be tested, and metrics for success of the tests. Organizing the mechanics of testbench development using the Unified Verification Methodology (UVM) has proven benefits. The mixed-signal elements of SoC verification are not exempted from those benefits.

Competition is growing more fierce in the world for semiconductor design teams. Not being equipped with the best-known practices creates a competitive deficit that is hard to overcome with just hard work. As the landscape of IC content drives to a more energy-efficient mixed-signal nature, the mounting risk posed by old methodologies may cause causalities in the coming year. Better to move forward with haste and create a position of strength from which differentiation and excellence in execution can be forged.

Summary

2015 is going to be a banner year for mixed-signal design and verification methodologies. Those that have forged ahead are in a position of execution advantage. Those that have not will be scrambling to catch up, but with the benefits of following a path that has been proven by many market leaders.

اس عالمی وبا کے مرکز چین میں اب تک 81ہزار518 افراد کے کورونا وائرس سے متاثر ہونے کی تصدیق ہوئی ہے اور 3305 لوگوں کی اس وائرس کی زد میں آنے کے بعد موت ہو چکی ہے۔اس وائرس کے حوالہ سے تیار کی گئی ایک رپورٹ کے مطابق چین میں ہونے والی ا موات کے 80 فیصد کیسز 60 سال سے زیادہ عمر کے لوگوں کے تھے۔

اٹلی میں اب تک کورونا وائرس کے 14ہزار 620 مریض بالکل ٹھیک ہو چکے ہیں اور انہیں اسپتالوں سے چھٹی دے دی گئی ہے۔ اٹلی میں 21 فروری کو کورونا وائرس کا پہلا کیس سامنے آیا تھا۔

سعودی عرب کی وزارت داخلہ نے مقدس شہروں مکہ مکرمہ اور مدینہ منورہ میں کورونا وائرس کے پھیلاؤ کو محدود کرنے کے لئے جمعرات کے روز 24 گھنٹے کا کرفیو نافذ کر دیا۔

اسرائیل کی وزارت صحت نے ملک میں 2 اپریل تک 30 لوگوں کی ہلاکتوں اور 6211 کے کورونا سے متاثر ہونے کی تصدیق کی ہے۔

عالمی ادارۂ صحت (ڈبلیو ایچ او) نے جمعرات کی شب کو کہا کہ دنیا بھر میں موذی کورونا وائرس ’ كووڈ 19‘ کے قہر سے اب تک 900،306 لوگ متاثر ہو چکے ہیں اور تقریبا 45 ہزار افراد کی موت ہو گئی ہے۔ ڈبلیو ایچ او کے مطابق گزشتہ 24 گھنٹوں کے دوران تقریباََ پانچ ہزار متاثرین کی موت ہو گئی ہے ۔

پاکستان میں صوبہ پنجاب کورونا وائرس سے سب سے زیادہ متاثر ہے جہاں اب تک 1319 افراد اس وائرس سے متاثر ہوئے ہیں اور 12 افراد کی ہلاکت کی خبریں ہیں ۔

دنیا کا سپر پاور مانے جانے والے امریکہ میں یہ وبا بھیانک شکل اختیار کر چکی ہے۔ یہاں پر اب تک 368196 لوگ اس وائرس سے متاثر ہوئے ہیں جن میں سے 10 ہزار سے زائد افراد کی موت ہوئی ہے۔

یوپی میں کورونا وائرس سے متاثر مریضوں کی تعداد مسلسل بڑھتی جارہی ہے۔ جس کے مد نظر ریاستی حکومت نے آج سے 15 اضلاع میں ان علاقوں کو سیل کرنے کا اعلان کیا ہے جہاں کوروناوائرس کے مریض پائے جارہے ہیں

بوریلی کے مطابق جمعرات کو اٹلی میں کورونا انفیکشن کے 4204 نئے کیس سامنے آئے ہیں جس سے اب تک کل متاثرہ مریضوں کی تعداد بڑھ کر 143626 ہو گئی ہے۔

کورونا وائرس سے سب سے زیادہ شدید طورپر متاثر یوروپی ملک اٹلی میں اس کی وجہ سے اب تک 18279 لوگوں کی موت ہوئی ہے اور1.44لاکھ لوگ اس سے متاثر ہوئے ہیں۔

اٹلی کے شہری سیکورٹی محکمہ کے سربراہ اینجیلو بوریلی نے جمعہ کو ٹیلی ویژن پرایک پریس کانفرنس میں بتایا کہ گزشتہ 24 گھنٹوں کے دوران ملک میں کورونا وائرس سے 570 افراد کی موت ہوئی ہے۔

عالمی وبا کورونا وائرس ( کوووڈ -19) رکنےکا نام نہیں لے رہا ہے اوراب یہ دنیا کے بیشترممالک (205 ممالک اورعلاقوں) میں پھیل چکے اس انفیکشن کی وجہ سے مرنے والوں کی تعداد ایک لاکھ سے تجاوز کرکے 108804 تک پہنچ گئی ہے اور 1771881 افراد اس سے متاثر ہوئے ہیں۔

چین میں گزشتہ 24گھنٹوں میں کورونا کے 99نئے مریض سامنے آئے ہیں جن میں 97بیرونی ممالک سے آئے لوگ ہیں ۔قومی صحت کمیشن نے اتوار کو بتایاکہ 99نئے معاملے درج کیے گئے ہیں

اسپتال کی جانب سے جاری ایک بیان میں کہا گیا ہے کہ الیاہو بخشی ڈورون کو کچھ دن پہلے اسپتال میں داخل کرایا گیا تھا۔ وہ کوروناوائرس Coronavirus سے متاثر تھے مگر انہیں پہلے سے کئی بیماریاں تھیں۔ اس وجہ سے ان کی حالت بگڑتی چلی گئی۔

یکم اپریل سے اب تک نہ صرف پاکستان میں کورونا متاثرین کی تعداد دوگنا بڑھی ہے بلکہ اموات میں بھی روزانہ اضافہ ہوتا جارہا ہے۔

کووڈ-19 پہلی مرتبہ گذشتہ سال دسمبر میں چین کے شہر ووہان میں سامنے آیا تھا اور دیکھتے ہی دیکھتے اس نے ملکوں اور علاقوں کو اپنی زد میں لے لیا۔

NYC Health Department نے لاک ڈاؤن کے دوران لوگوں میں بڑھ رہے اسٹریس کو دیکھتے ہوئے کچھ خاص ہیلتھ گائڈ لائنس جاری کی ہیں۔ ان گائڈ لائنس میں خاص طور پر لوگوں کی سیکس لائف پر دھیان دیا گیا ہے۔

عالمی وبا کورونا وائرس (کووڈ -19) رکنے کا نام نہیں لے رہا ہے اور اب دنیا کے بیشتر ممالک میں پھیل چکے اس وبا سے مرنے والوں کی تعداد سوا لاکھ سے زیادہ یعنی125691 ہو گئی ہے اور اب تک 1975970 افراد اس وبا سے متاثر ہوئے ہیں۔

ایران کے وزیر خارجہ جوادظریف نے ٹویٹ کیا 'کوروناوائرس وبا کے دوران فنڈ روکنا شرمناک ہے۔ دنیا وہی دیکھ رہی ہے ہے جو یران ہمیشہ سہتا آیا ہے۔ ٹویٹ میں آگے لکھا کہ امریکی حکمرانی کی یہ دھمکیاں، ڈرانا اور جھگڑالو رویہ صرف اس کی ایل لت ہی نہیں بلکہ لوگوں کو مرنے دینے کی یہ اس کی پرانی عادت ہے '۔

بچے کی پیدائش 25 فروری کو ہوئی تھی ۔ اس کی ماں کے 19 سالہ بوائے فرینڈ نے ہی اس واردات کو انجام دیا ہے ۔

تنظیم نے کہا کہ جہاں تک ممکن ہو مذہبی اجتماع اور گروپ میں جمع ہونے سے بچیں۔ اس کے بدلے مذہبی اجتماع کے لئے الیکٹرونک ذرائع کا استعمال کیا جا سکتا ہے۔

ادھر، کورونا وائرس (کوویڈ19)کی وبا کے خطرے کے درمیان صدر ڈونلڈ ٹرمپ نے صوبائی گورنروں سے بات چیت کرنے کے بعد ملک کی معیشت کو مرحلے وار طریقے سے کھولنے کے لئے ہدایات جاری کی ہیں۔

پاکستان میں اب تک سرکاری طور پر کورونا کے 7400 سے زیادہ معاملے سامنےآئے ہیں اور 143 افراد کی موت ہوئی ہے۔ اب کراچی سے ایک خبر آرہی ہے جس سے حکومت پاکستان پر ایک بار پھر سوالات اٹھ رہے ہیں۔ گذشتہ 49 دنوں میں ، 3265 لاشیں کراچی (Karachi) شہر کے قبرستانوں میں دفن کی گئی ہیں۔

کورونا وائرس ’ كووڈ -19‘ سے لوگ اس قدر ڈرے ہوئے ہیں کہ 40 فیصد لوگوں نے کہا ہے کہ وہ کورونا وبا کے کنٹرول ہونے کے بعد بھی کم از کم چھ ماہ تک ہوائی سفر نہیں کریں گے۔

یہ وائرس طویل مدت تک ہمارے درمیان رہنے والا ہے“۔ گیبری یسس نے کہا کہ دنیا کا کوئی بھی شخص اس وائرس کا شکار ہو سکتا ہے۔ یہ صحیح ہے کہ بہت سے ممالک میں طویل عرصے سے لاک ڈاؤن میں ہیں اور اب لوگ عام زندگی جینا چاہتے ہیں

اٹلی کے شہری سکیورٹی محکمہ کے سربراہ ینجیلو بوریلی نے جمعرات کو ٹیلی ویژن پر ایک پریس کانفرنس میں بتایا کہ گزشتہ 24 گھنٹوں کے دوران ملک میں کورونا وائرس سے 464 افراد ہلاک ہوئے ہیں۔

وزارت نے کہا کہ حکومت نے یہ بھی فیصلہ کیا ہے کہ اس بار رمضان میں شام کی نماز کے لئے مسجدوں میں 12 سے زیادہ لوگوں کو جمع ہونے کی اجازت نہیں دی جائے گی۔

اٹلی کے شہری سیکورٹی محکمہ کے سربراہ ینجیلو بوریلی نے پیر کو ٹیلی ویژن پر ایک پریس کانفرنس میں بتایا کہ گزشتہ 24 گھنٹوں کے دوران ملک میں کورونا وائرس سے 333 افراد کی موت ہوئی ہے۔

گزشتہ 24 گھنٹوں کے دوران فرانس میں کورونا وائرس کے 3764 نئے کیسز سامنے آئے ہیں جس سے متاثرین کی مجمو عی تعداد بڑھ کر 162220 ہو گئی ہے۔

اٹلی میں اب تک 211938 لوگ کورونا سے متاثر ہوئے ہیں۔ پوری دنیا میں کورونا سے امریکہ کے بعد سب سے زیادہ اموات اٹلی میں ہی ہوئی ہیں۔

منگل کے روز دیر رات متحدہ عرب امارات میں واقع شارجہ ٹاور نامی ایک کثیر منزلہ عمارت میں آگ لگ گئی۔ بتایا گیا کہ یہ واقعہ النھدہ کے علاقے میں پیش آیا۔

بالی ووڈ کے سلطان سلمان خان کی آ نے والی فلم' بھارت' کی شوٹنگ شروع ہوچکی ہے۔فلم کےڈائرکٹر علی عباس ظفر نے شوٹنگ کے درمیان کی ایک تصویرشیئرکی ہے ۔

پاکستانی اداکارہ وینا ملک نے کشمیر کولیکر انسٹاگرام پر ایک ویڈیو شیئر کیا ہے۔ جس میں وہ پاکستان زندہ باد اور کشمیر بنے گا پاکستان کا نعرہ لگا رہی ہیں۔

شلپا کہتی ہیں "اگر میرا ملک مجھے ویز ا دیتا ہے اور ان کا ملک استقبال کرتا ہے تومیں ضرور پاکستان جاؤں گی۔ ایک فنکار ہونے کے ناطے میں پرفارم کروں گی۔ یہ میرا حق ہے، مجھے کوئی نہیں روک سکتا۔

سنجے دت کو پردے پر پہلی مرتبہ دیکھ کر ہی منیشا کوئرالہ اپنا دل دے بیٹھی تھیں ۔ سنجے دت کو لے کر ان کی دیوانگی اس قدر تھی کہ وہ اپنی ماں سے چھپا کر سنجے دت کے پوسٹر بھی اپنی الماری میں رکھتی تھیں ۔

اگر آپ کسی بھی ٹینشن میں ہیں یا پریشان ہیں تو ذرا وقت نکالئے اور رام کپور کی انسٹاگرام پوسٹ دیکھئے۔ رام کپور نے ایک مزیدار میم شیئر کیا اور بتایا کہ اگر بیوی غصے میں ہو تو اسے اپنے لئے سینڈوچ بنانے کو نہیں کہنا چاہئے۔

અમદાવાદઃ અમદાવાદમાં મુખ્યપ્રધાન આનંદીબહેન પટેલ શુક્રવારે સવારે ઈન્ડસ્ટ્રીયલ એક્સપોમાં સંબોધન કરતા નાનાઉદ્યોગ માટે બનાવેલી પોલિસીના કેટલાક મુદ્દા રજૂ કર્યા હતા અને 'સાણંદની જેમ હાલોલ-ભરૂચ ખાતે મહિલા ઉદ્યોગ પાર્ક શરૂ કરવાની જાહેરાત કરી હતી.

گھاگھرا تھانہ انچارج سدھیر پرساد ساہو نے کہا کہ بیوی نے شوہر پر نو مہینے کے بیٹے کا قتل کرنے کا الزام لگایا ہے ۔ اس سلسلہ میں ملزم کو گرفتار کرلیا گیا ہے ۔

وزارت داخلہ کی طرف سے پھنسے ہوئے طلبہ کو ان کی ریاستوں تک پہنچانے کے لئے ٹرینوں کو چلانے کی منظوری دئیے جانے کے بعد یونیورسیٹی کی طرف سے یہ ہدایت آئی ہے۔

کورونا وائرس سے سب سے شدید متاثر ریاست مہاراشٹر ہے جہاں حالات مسلسل تشویشناک ہوتے جا رہے ہیں اور گزشتہ ایک دن میں 1008 نئے کیسز کے بعد ریاست میں متاثرین کی تعداد 11506 تک پہنچ گئی ہے

کورونا مہاماری سے نمٹنے کےلئے ادھو ٹھاکرے حکومت ریاست کے سبھی لوگوں کو فری اور کیش لیس ہیلتھ کور اسکیم سے جوڑے گی۔ وزیر صحت نے بتایا کہ اس کے لئے جنرل انشورنس پبلک سیکٹر ایسوسی ایشن کے ساتھ میمورنڈم آف انڈر اسٹینڈنگ دستخط کئے گئے ہیں۔

ممبئی کے مسلم قبرستانوں میں مسلمانوں کی میت کی تدفین کے خلاف داخل پٹیشن کا علم ہوتے ہی جمعتہ علماء مہاراشٹر (ارشد مدنی ) قانون امداد کمیٹی کے سربراہ گلزار اعظمی نے سپریم کورٹ میں فوری طور پر مداخلت کی ہے ۔

پچھلے چوبیس گھنٹوں میں دہلی میں 427، گجرات میں 374، پنجاب میں 330، تمل ناڈو میں 266، ہریانہ میں 66 اور جموں وکشمیر میں 35 معاملوں نے اب تک کے سبھی ریکارڈ توڑ دئیے ہیں۔

درخواست میں کہا گیا ہے کہ یہ قبرستان گنجان آبادی والے علاقہ میں ہے اور یہاں کورونا وائرس مہلوکین کی لاش دفن کرنے سے علاقے میں مٹی اور پانی کے متاثر ہونے کا اندیشہ ہے، جس سے ارد گرد کے لوگ متاثر ہو سکتے ہیں۔

بی ایس ایف کا 8 منزلہ ہیڈ کوارٹر لودھی روڈ (Lodhi Road) پر واقع سی جی او کمپلیکس میں ہے۔ یہیں پر سی آر پی ایف (CRPF ) کا ہیڈ کوارٹر بھی ہے۔