The development of embedded systems starts more and more by the design of abstract models written in SystemC/TLM [18, 6]. These models allow the simulation of the embedded software before the hardware RTL descriptions are available, and are used as golden models for hardware verification. The verification of the SystemC/TLM models is an important issue, since a error in the model can mislead th...

We present a methodology for design of complex digital systems at system level through a training video. After the introduction to SystemC and TLM-2.0, the video explains a number of design sub-levels and guidelines for design at each sub-level. A test data compression system is implemented as a case study using OSCI TLM 2.0 standard. .

Chromatographic separation and detection of nonfluorescent molecules were integrated in a nanochannel. Our method, extended-nano chromatography realized high-performance separation using pressure-driven flow in a 100-nm scale nanochannel. A photothermal detector, differential interference contrast thermal lens microscope (DIC-TLM) was employed for detection of nonfluorescent samples. In particu...

OBJECTIVE The optimal treatment strategy for oropharyngeal squamous cell carcinoma is highly debated. However, growing evidence supports the use of minimally invasive techniques, such as transoral laser microsurgery (TLM), as a first-line treatment modality for these carcinomas. The purpose of our study was to assess the efficacy and safety of TLM for the treatment of primary and recurrent orop...

In this paper, we evaluate the effectiveness of model slicing to provide assurance about correctness of SystemC TLM programs. The need for such assurance is important since SystemC has become a de-facto standard for building systems with hardware/software co-design. Existing approaches that enable one to transform the given SystemC TLM program into an UPPAAL model that can be verified suffer fr...

BACKGROUND We conducted longitudinal voice evaluations in patients with early glottic cancer who underwent transoral laser microsurgery (TLM) to determine the time to stability. METHODS Twenty-five patients underwent TLM, including 13 limited cordectomies (type I and type II) and 12 extended cordectomies (type III to type IV). Multidimensional voice evaluations were performed before treatment...

BACKGROUND Transoral laser microsurgery (TLM) is used to treat early and select cases of moderately advanced glottic cancer, with results equivalent to those of conventional conservative surgery and radiotherapy (RT). As surgeons and researchers become more experienced and familiar with TLM, they can focus on mechanisms to earlier detect local recurrence, to more effectively preserve laryngeal ...

Design technology is expected to rise to electronic system-level (ESL). This necessitates new techniques and tools for synthesizing ESL designs and for verifying them before and after ESL synthesis. A promising verification strategy for future very complex designs is to initially verify the design at the highest level of abstraction, and then check the equivalence of the lower level automatical...

BACKGROUND Surgical treatment options for local recurrences of laryngeal cancer can be either organ-preserving surgery or total laryngectomy. The purpose of this study was to present our evaluation of the treatment with transoral laser microsurgery (TLM) in comparison to laryngectomy. METHODS We conducted a retrospective review of 199 consecutive patients with recurrent laryngeal cancer at 1 ...