Formal verification of design?

More Murali Krishna's questions See All

What is the most effective way to sterilize camelina seeds?

I'm working on camelina seed sterilization and have some doubts about the process. I followed a protocol used by my lab mate, but I'm unsure about a couple of things: Is it safe to use 10% bleach...

02 August 2024 1,178 3 View

Curcumin encapsulation in Bovine Serum albumin (BSA)?

Hey all what are the ways by which an encapsulated drug inside BSA may escape from its encapsulation. We had synthesised curcumin encapsulated BSA by desolvation method followed by centrifugation...

23 June 2024 8,785 5 View

How does a Man-in-the-Middle (MitM) attack work in the context of Transport Layer Security (TLS), and what specific mechanisms can be employed ?

Context In the realm of cybersecurity, Transport Layer Security (TLS) is widely used to secure communications over a computer network. Despite its robust encryption mechanisms, TLS is still...

19 June 2024 6,595 3 View

Why is colony PCR not working ?

I've been doing colony PCR for last few days but haven't seen any bands on the gel. I've tried both positive and negative controls, but I'm still not getting any bands. Here's my procedure: I use...

07 June 2024 203 2 View

Albumin Nanoparticle Synthesis, troubleshooting?

Hey all I have tried synthesizing Albumin nanoparticles using desolvation technique using glutaraldehyde as a cross linker. After 24 hrs of stirring I could see that the protein has turned brown...

04 June 2024 1,501 0 View

How to calculate mmpbsa of a metal containing protein -DNA complex?

I am calculating its MM/PBSA of protein DNA complex having magnisium ion as a part of receptor in which I got this error every time

19 May 2024 3,361 0 View

If my standard quercetin equation is Y = 0.0057x + 0.0635 then how can I know the value of ethanolic extract of 10 mg/ml if absorbance value is 0.39?

I wanted to know the value of total flavonoid content in mgQE/gm. Total volume I kept in well plate is 200 µl in which extract was 20 µl. Anyone please help me with this problem

10 May 2024 5,658 4 View

What will be the value of potassium content in mg/100g if absorbance value is 45 ppm in flame photometer?

Amount of fruit powder used 0.15g; final volume of the extract was 100 ml and I have done my experiment in flame photometer. I did not know how to convert 45ppm in mg/100g. Please help me?

10 May 2024 3,173 0 View

How do i delete missing variables but not for every participant, because not everyone has to have this variable using SPSS?

Hello fellow users, My research focuses on investigating whether financial stress leads to lower self-confidence mediated by connectedness, with financial stress measured in a parent/married...

01 May 2024 6,610 0 View

How do I remove unwanted pairs using SPSS?

Hello fellow researchers, In my research, I investigate two members of the same household. The members of the same household share the same ID number (Nomem_encr). I want to retain household pairs...

28 April 2024 6,087 13 View

How to generate a citation of my paper from ResearchGate?

How we can cite the papers from ResearchGate. I am trying to create citations for this article, Quantum Machine Learning Algorithms for Optimization Problems: Theory, Implementation, and...

08 August 2024 6,690 3 View

Is there anyone with experience in TEM analysis who can assist with a manuscript for an upcoming journal?

Hello dear colleagues, We have prepared a manuscript on NiTi-based alloys and are seeking a second opinion on our current TEM results. If you are a Ph.D. holder with experience in TEM and have...

07 August 2024 9,563 0 View

How to get links for copyrights for papers?

how to get links for copyrights for papers?

06 August 2024 7,410 1 View

How to determine positive-stained cells in FACS? Use isotype or unstained control?

To compare positive and negative cell populations in flow cytometry, should I compare unstained cells with antibody stained cells? Or with the isotype control? Most papers show comparison with...

06 August 2024 6,728 6 View

Are current regulations effective in preventing cancer caused by toxins?

I am currently researching the impact of environmental toxins on children's health and would greatly appreciate insights from experts in the field. If you are an expert or researcher working on...

02 August 2024 4,474 2 View

How do i get an account to upload my published papers?

need to open an account to upload my published papers

01 August 2024 9,255 1 View

What do you consider to be the most relevant elements of EEG for studying cognitive biases?

I've seen articles that primarily focus on alpha and beta activity in the frontal regions, but these studies often compare healthy subjects with those having various pathologies. I haven't seen a...

31 July 2024 7,259 1 View

Any tips on how to increase the chances of getting a response?

I've been using ResearchGate for a while now and have found many useful research papers that are beneficial for my work. However, I've noticed that many authors do not respond to my messages....

31 July 2024 7,771 5 View

I have no added any resarch paper yet but showing three paper? how to delete it?

I have not addede any paper yet but it has selected 3 papers which are not mine in my account. i want to delete that information. please help me

30 July 2024 3,743 0 View

Are you looking for research collaboration ?

we have few papers ready for submission, and we need one co-author for each article who can pay article fee. Interested authors may text here or contact me on my following email id [email protected]

29 July 2024 6,626 0 View

Murali Krishna

Hi peter,

i am looking for formal verification of hardware design.

Andrew Powell

I would suggest VHDL, see https://en.wikipedia.org/wiki/Hardware_description_language. The problem with any design verification is that there may be hardware faults in the implementation which are not captured in any formal verification because they are not part of the design.