• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.755-758
• /
• 1998

As the performance of microprocessor improves, the design complexity grows exponentially. Therefor, it is very important to make the bug-free model as early as possible in a design life-cycle. This paper describes the simulation-based functional verification methodology for the RTL level description model. It is performed by multi-stage verification methods using extensive hand-generated self-checking tests supplemented with random tests. This approach is opplied to the functional verification of the GPU processor of Raptor and various bugs are detected.

• Communications of the Korean Mathematical Society
• /
• v.28 no.2
• /
• pp.269-283
• /
• 2013

In this paper, we investigate a stability of the functional equation $$\sum^3_{i=0}_3C_i(-1)^{3-i}f(ix+y)=0$$ by using the fixed point theory in the sense of L. C$\breve{a}$dariu and V. Radu.

• East Asian mathematical journal
• /
• v.31 no.5
• /
• pp.627-634
• /
• 2015

In this paper, we investigate the following orthogonally additive-quadratic functional equation f(2x + y) - f(x + 2y) - f(x + y) - f(y - x) - f(x) + f(y) + f(2y) = 0. and prove the generalized Hyers-Ulam stability for it in orthogonality spaces by using the fixed point method.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.2
• /
• pp.321-330
• /
• 2015

In this paper, we prove the generalized Hyers-Ulam stability for the following additive-quadratic functional equation f(2x + y) + f(2x - y) = f(x + y) + f(x - y) + 4f(x) + 2f(-x) in modular spaces by using a fixed point theorem for modular spaces.

• Proceedings of the Korean Society of Plant Biotechnology Conference
• /
• 2005.11a
• /
• pp.265-265
• /
• 2005

• Journal of applied mathematics & informatics
• /
• v.30 no.5_6
• /
• pp.741-748
• /
• 2012

In this work, we prove the instability of solutions for a class of nonlinear functional differential equations of the eighth order with n-deviating arguments. We employ the functional Lyapunov approach and the Krasovskii criteria to prove the main results. The obtained results extend some existing results in the literature.

• Korean Journal of Mathematics
• /
• v.24 no.2
• /
• pp.297-305
• /
• 2016

In this paper, by using fixed point theorem, we obtain the stability of the following functional equations $$f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)f(p,q)h(r,s)\\f(pr,qs)+g(ps,qr)={\theta}(p,q,r,s)g(p,q)h(r,s)$$, where G is a commutative semigroup, ${\theta}:G^4{\rightarrow}{\mathbb{R}}_k$ a function and f, g, h are functionals on $G^2$.

• Kyungpook Mathematical Journal
• /
• v.55 no.2
• /
• pp.313-326
• /
• 2015

In this paper, we present a fixed point method to prove generalized Hyers-Ulam stability of the systems of quadratic-cubic functional equations with constant coefficients in modular spaces.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.3
• /
• pp.453-464
• /
• 2016

In this paper, we investigate the solution of the following functional inequality $$N(f(x)+f(y)+f(z),t){\geq}N(f(x+y+z),mt)$$ for some fixed real number m with $\frac{1}{3}$ < m ${\leq}$ 1 and using the fixed point method, we prove the generalized Hyers-Ulam stability for it in fuzzy Banach spaces.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.1
• /
• pp.77-87
• /
• 2020

In this paper, we investigate the stability of a functional equation f(x + 3y) - 5f(x + 2y) + 10f(x + y) - 8f(x) + 5f(x - y) - f(x - 2y) - 2f(-x) - f(2x) + f(-2x) = 0 by using the fixed point theory in the sense of L. Cǎdariu and V. Radu.